In 1898 Charles Jean de la Valle Poussin, as part of his famed proof of the prime number theorem, developed an ineffective bound on the first Chebyshev function of the form: This bound holds for sufficiently large, , and some unspecified positive constant. To the best of my knowledge this bound has never been made effective – I have never yet seen this bound made fully explicit, with precise values being given for and . Herein, using a number of effective results established over the past 50 years, I shall develop two very simple explicit fully effective bounds of this type: Many other fully explicit bounds along these lines can easily be developed. For instance one can trade off stringency against range of validity: With hindsight, some of these effective bounds could have been established almost 50 years ago.

生成讲解博客的中文版本

生成AI智能校验的中文版本