ТС пробует упростить модель и всё равно не доводит опыт до конца. В принципе же, любому

(единица, квадрат или простое) соответствует

.

и так для всех пар

. Особый случай

когда

- целый квадрат. То есть

. Тогда

. Такой делитель участвует слагаемым в сумме один раз, и ничего не нарушается. То есть сумма величин, обратных делителям

(назовем это

) равна

. Еще раз:

. Другое дело, что дробь эта вполне может оказаться сократимой, и по величине знаменателя еще нельзя судить о величине

. Но

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