Update the_maximum_integer.py