Каждое натуральное число единственным образом представляется в виде
, где
и
- некоторые натуральные числа, причём
свободно от квадратов, т.е. не делится на квадрат никакого числа, большего
. Пусть
и
. Тогда, т.к. произведение этих чисел даёт квадрат натурального числа, то
и
, а
. Значит нам нужно доказать неравенство
. Обозначим
. Пусть, для определённости,
. Тогда
. Если
, то числа
и
разной чётности. Поскольку
, то в этом случае число
чётное, а число
нечётное, стало быть число
нечётное и
должно делиться на
, откуда
. Значит, при любом
,
. Кроме этого, поскольку
, то
. Отсюда получаем:
, что и требовалось доказать.