Označimo s τ(k)\tau(k) broj pozitivnih djelitelja prirodnog broja kk, a s φ(k)\varphi(k) broj prirodnih brojeva koji nisu veći od kk, a relativno su prosti s kk. Za prirodan broj mm kažemo da je lijep ako postoji prirodan broj nn takav da vrijedi

τ(m)m=φ(n)n.\frac{\tau(m)}{m} = \frac{\varphi(n)}{n}.

Postoji li beskonačno mnogo lijepih brojeva?