IMO 1992 LL COL11
Let arphi(n, m), m ̸= 1, be the number of positive integers less
IMO 1992 LL COL11
Origin: COL
Problem
Let \varphi(n, m), m ̸= 1, be the number of positive integers less than or equal to n that are coprime with m. Clearly, \varphi(m, m) = \varphi(m), where \varphi(m) is Euler’s phi function. Find all integers m that satisfy the following inequality: \varphi(n, m) n \geq\varphi(m) m for every positive integer n.