Largest proper divisor of n: Difference between revisions