Вот, тут без постулата Бертрана.
Можно умножить всё это выражение (только единицу лучше выкинуть) на

, где x - наибольшее натуральное число такое, что

. Получится число вида

, где

(или сократим),

- нечётно,

. При

, число такого вида не может быть целым, что несложно доказать. (Вообще, если

, то

)