Problem

Source: consequence of a classical result about exponent of primes in factorials

Tags: induction, number theory proposed, number theory



For each positive integer $ n$, define $ f(n)$ as the exponent of the $ 2$ in the decomposition in prime factors of the number $ n!$. Prove that the equation $ n-f(n)=a$ has infinitely many solutions for any positive integer $ a$.