Подсказка 1

В задачах на делимость (а это по сути она и есть) часто выгодно рассмотреть какое-то красивое число. А поскольку у нас в задаче часто фигурируют простые, рассмотрим p_m = 2. Что тогда хорошего можно сказать про дробь?

Подсказка 2

Тогда, можно сказать, что число меньше 2, а значит равно 1, а значит, p_(m + 1) = p^2_(m + 2) + 2. А мы как-то использовали m? Может ли m быть сильно большим? Как можно ограничить m зная симметричность p_(i + 1) и p_i в нашем числе?

Подсказка 3

Если m > 1, то можно взять рассмотреть (2p_(m - 1) - p^2_(m + 1))/(2 + p_(m - 1)). Тогда, p_(m - 1) = p^2_(m + 1) + 2 = (p^2_(m + 2) + 2)^2 + 2. По какому модулю теперь удобно посмотреть, при наличии тут множественных квадратов?

Подсказка 4

Конечно, mod 3. Ведь тогда, если p_(m + 2) != 3, то p_(m + 1) кратен 3, а значит равен 3. Но тогда p_(m + 2) = 1. А если же p_(m + 2) = 3, то p_(m - 1) = 123. Значит, пришли к общему противоречию с тем, что m > 1, значит, m = 1. При этом, поняли, что mod 3 в этой задаче, как будто, играет важную роль. Давайте тогда , если уж все таки хотим делимость, рассмотрим такие p_k и p_k + 1, что их сумма кратна 3, и при этом они оба отличны от 3. Что это значит тогда для этих двух чисел? А для дроби?

Подсказка 5

Это значит, что остатки mod 3 у этих

Подсказка 6

Это числа, которые сравнимы с 2 mod 3, а после идет сама тройка. Но тогда, если после тройки стоит число = 2 mod 3, то после него идут только числа = 2 mod 3, а значит пришли к противоречию, так как числа = 1 mod 3 существуют. А значит, после 3 идут только числа = 1 mod 3, но тогда перед 3 стоит конечное число простых = 2 mod 3. А то, что таких бесконечно - остаётся вам в качестве упражнения! :)))