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

, где 

 и 

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

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

. Пусть 

 и 

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

 и 

, а 

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

. Обозначим 

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

. Тогда 

. Если 

, то числа 

 и 

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

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

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

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

 нечётное и 

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

, откуда 

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

, 

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

, то 

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

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