Много раз уже встречал формулы, по которым можно лишь приближенно оценить количество простых чисел от 1 до N. У меня возник вопрос, существует ли формула для нахождения точного количества простых чисел от 1 до N, пусть даже эта формула будет бесконечной?
Есть полиномиальная формула (правда, дающая не количество простых чисел, а сами простые числа), полученная в 1976 году Джонсом, Сато, Вада и Вьенсом.
Здесь их публикация в Amer. Math. Mon. с достаточно полным выводом. Сама формула есть в
википедии.
Цитата:
Множество положительных значений многочлена
в точности совпадает с множеством простых чисел, если встречающиеся в нем переменные являются неотрицательными целыми числами.