ТС пробует упростить модель и всё равно не доводит опыт до конца. В принципе же, любому
(единица, квадрат или простое) соответствует
.
и так для всех пар
. Особый случай
когда
- целый квадрат. То есть
. Тогда
. Такой делитель участвует слагаемым в сумме один раз, и ничего не нарушается. То есть сумма величин, обратных делителям
(назовем это
) равна
. Еще раз:
. Другое дело, что дробь эта вполне может оказаться сократимой, и по величине знаменателя еще нельзя судить о величине
. Но
выполняется всегда. Задача корректная, карты пришлось раскрыть.