Может быть кто-то нашел доказательство? Сообщите!
Посмотрите статью А.Коробова в Кванте 04-1998. Там развёрнутое доказательство постулата Бертрана и обратите внимание на указание к задаче 5 в конце статьи, где объясняется, как можно получать любое количество простых между

и

для достаточно (в пределах разумного) больших

.
Конечно, это не даёт результата Эрдёша. И было бы интересно решить задачу без такой тяжёлой артиллерии.
А известен ли такой факт, что для любого

можно найти

подряд идущих простых, каждое из которых будет вида

? Или это гипотеза? Поделитесь, если кто слышал, пжл.