i think the inequation

N1 >= N3 * N7 is incorrect.

If you take the product of a pair of divisors, you might get a number which is higher than the considered positive integer.

Am I wrong?

Thanks in advance,
peter