Каждое натуральное число единственным образом представляется в виде

, где

и

- некоторые натуральные числа, причём

свободно от квадратов, т.е. не делится на квадрат никакого числа, большего

. Пусть

и

. Тогда, т.к. произведение этих чисел даёт квадрат натурального числа, то

и

, а

. Значит нам нужно доказать неравенство

. Обозначим

. Пусть, для определённости,

. Тогда

. Если

, то числа

и

разной чётности. Поскольку

, то в этом случае число

чётное, а число

нечётное, стало быть число

нечётное и

должно делиться на

, откуда

. Значит, при любом

,

. Кроме этого, поскольку

, то

. Отсюда получаем:

, что и требовалось доказать.