For every positive integer n with prime factorization n=∏i=1kpiαi, define
℧(n)=i:pi>10100∑αi.
That is, ℧(n) is the number of prime factors of n greater than 10100, counted with multiplicity.Find all strictly increasing functions f:Z→Z such that
\mho(f(a) - f(b)) \le \mho(a - b) \text{for all integers } a \text{ and } b \text{ with } a > b.Proposed by Rodrigo Sanches Angelo, Brazil inequalitiesnumber theoryprime factorizationfunctionIMO Shortlist