Iterating from MAX to 1 GCD is always between MAX and 1 The first GCD found will be the highest as we are decrementing the potential GCD
for i in range ( high , 0 , - 1 ) : NEW_LINE INDENT j = i NEW_LINE DEDENT