Divisor function: Difference between revisions

Revision as of 00:34, 8 October 2023

Revision as of 04:08, 8 October 2023

Line 317:

</math>

where lim sup is the [[limit superior]]. This result is '''[[Thomas Hakon Grönwall|Grönwall]]'s theorem''', published in 1913 {{harv|Grönwall|1913}}. His proof uses [[Mertens' theorems|Mertens' 3rdthird theorem]], which says that:

:<math>\lim_{n\to\infty}\frac{1}{\log n}\prod_{p\le n}\frac{p}{p-1}=e^\gamma,</math>