Конечно, эта гипотеза не может быть доказана (она гораздо сильнее гипотезы Римана). Однако, она может быть легко отвергнута, если найдётся интервал, где она не выполняется. Для этого, надо найти интервал, где количество простых существенно больше, чем в среднем, или существенно меньше. Интересно узнать, есть ли экспериментальные данные о таких интервалах. Насколько я знаю, вычислены все простые меньше N, где N порядка
Вспомните хрестоматийное доказательство бесконечности количества простых чисел. Обратите внимание на то, что произведение всех простых чисел n плюс 2, 3, 4, ..., n, n+1 является рядом подряд идущих составных чисел. Этот ряд стремится к бесконечности при увеличении количества простых чисел. Иными словами интервал между соседними простыми числами может быть бесконечно большим. Так, что, увы - Ваша гипотеза соблюдается только на некотором отрезке натурального ряда.