定义 ,易知 为积性函数,即对任意的 ,有 . 注意到 无平方因子. 易知 . 则对任意的 、 ,若 且 无平方因子; 且 无平方因子,则 . 令 ,则 ,即 由 知上述方程有无穷多组正整数解. 易知 为上述方程的一组正整数解,则 也为上述方程的一组正整数解. 令 ,显然 则只需取 ,即 . 对任意的 记 , , , . 对于充分大的 ,取 注意到对任意素数 ,每连续 个正整数中恰有一个 使 ,同理对 也有上述结论. 所以对 ,使 、 至少一个有平方因子的 不超过 . 而 . 故 故使得 , 都无平方因子的数至少有 ,当 充分大时,左式趋于正无穷. 故 符合题意.