as ranges over the positive integers, what is the maximum possible value that the greatest common divisor of and can take?