Если

, то для любого

у

и

одни и те же делители, не превосходящие

. Т.е. если существует хотя бы одно число, для которого эта сумма меньше миллиона, то таких чисел бесконечно; аналогично для больше миллиона. То, что такие существуют, проверяется численно.