An elementary proof of a theorem of Hardy and Ramanujan

Let Q(n) denote the number of integers \(1 \le q \le n\) $1\le q\le n$ whose prime factorization \(q= \prod ^{t}_{i=1}p^{a_i}_i\) $q={\prod }_{i=1}^t{p}_i^{a_i}$ satisfies \(a_1\ge a_2\ge \cdots \ge a_t\) $a_1\ge a_2\ge \cdots \ge a_t$ . Hardy and Ramanujan proved that \(\begin{aligned} \log Q(n) \sim \frac{2\pi }{\sqrt{3}} \sqrt{\frac{\log (n)}{\log \log (n)}}\;. \end{aligned}\) $$\begin{array}{c}\hfill logQ(n)\sim \frac{2\pi }{\sqrt{3}}\sqrt{\frac{log(n)}{loglog(n)}}.\end{array}$$ Before proving the above precise asymptotic formula, they studied in great detail what can be obtained concerning Q(n) using purely elementary methods, and were only able to obtain much cruder lower and upper bounds using such methods. In this paper, we show that it is in fact possible to obtain a purely elementary (and much shorter) proof of the Hardy–Ramanujan Theorem. Towards this goal, we first give a simple combinatorial argument, showing that Q(n) satisfies a (pseudo) recurrence relation. This enables us to replace almost all the hard analytic part of the original proof with a short inductive argument.