In mathematics, the Hardy–Ramanujan theorem, proved by Ramanujan and checked by Hardy states that the normal order of the number ω ( n ) {\displaystyle \omega (n)} of distinct prime factors of a number n {\displaystyle n} is log log n {\displaystyle \log \log n} . Roughly speaking, this means that most numbers have about this number of distinct prime factors.
Precise statement A more precise version states that for every real-valued function ψ ( n ) {\displaystyle \psi (n)} that tends to infinity as n {\displaystyle n} tends to infinity
| ω ( n ) − log log n | < ψ ( n ) log log n {\displaystyle |\omega (n)-\log \log n|<\psi (n){\sqrt {\log \log n}}}
or more traditionally
| ω ( n ) − log log n | < ( log log n ) 1 2 + ε {\displaystyle |\omega (n)-\log \log n|<{(\log \log n)}^{{\frac {1}{2}}+\varepsilon }} for almost all (all but an infinitesimal proportion of) integers. That is, let g ( x ) {\displaystyle g(x)} be the number of positive integers n {\displaystyle n} less than x {\displaystyle x} for which the above inequality fails: then g ( x ) / x {\displaystyle g(x)/x} converges to zero as x {\displaystyle x} goes to infinity.
History A simple proof to the result was given by Pál Turán, who used the Turán sieve to prove that
∑ n ≤ x | ω ( n ) − log log x | 2 ≪ x log log x . {\displaystyle \sum _{n\leq x}|\omega (n)-\log \log x|^{2}\ll x\log \log x.}
Generalizations The same results are true of Ω ( n ) {\displaystyle \Omega (n)} , the number of prime factors of n {\displaystyle n} counted with multiplicity. This theorem is generalized by the Erdős–Kac theorem, which shows that ω ( n ) {\displaystyle \omega (n)} is essentially normally distributed. There are many proofs of this, including the method of moments (Granville & Soundararajan) and Stein's method (Harper). It was shown by Durkan that a modified version of Turán's result allows one to prove the Hardy–Ramanujan Theorem with any even moment.
See also Almost prime Turán–Kubilius inequality
References
Further reading Kuo, Wentang; Liu, Yu-Ru (2008), "The Erdős–Kac theorem and its generalizations", in De Koninck, Jean-Marie; Granville, Andrew; Luca, Florian (eds.), Anatomy of integers. Based on the CRM workshop, Montreal, Canada, March 13--17, 2006, CRM Proceedings and Lecture Notes, vol. 46, Providence, RI: American Mathematical Society, pp. 209–216, ISBN 978-0-8218-4406-9, Zbl 1187.11024 Hildebrand, A. (2001) [1994], "Hardy-Ramanujan theorem", Encyclopedia of Mathematics, EMS Press
