Let p be a prime number and let s be an integer with 0<s<p. Prove that there exist integers m and n with 0<m<n<p and
{psm}<{psn}<ps
if and only if s is not a divisor of p−1.
Note: For x a real number, let ⌊x⌋ denote the greatest integer less than or equal to x, and let {x}=x−⌊x⌋ denote the fractional part of x. USA(J)MOUSAMOinequalitiesfloor functionmodular arithmeticpigeonhole principleHi