Mary's claim to fame [Baltic Way 2003]
Source:
November 7, 2010
ceiling functionnumber theory proposednumber theory
Problem Statement
All the positive divisors of a positive integer are stored into an increasing array. Mary is writing a programme which decides for an arbitrarily chosen divisor whether it is a prime. Let have divisors not greater than . Mary claims that it suffices to check divisibility of by the first divisors of : is prime if and only if none of them but divides .
Is Mary right?