Nemotron-IMO-Bench 2026 N4

For an integer $n>1$, let $f(n)$ be the smallest positive integer $m$ such that the positive divisors of $n$ are pairwise distinct modulo $m$. Prove that for all sufficiently large $n$ we have $f(n)\leq n^{0.01}$.