You have :

Taking logs we find:

see here , thus and

Thus try to go on from here.

Every number in can be written in the form where is square free. There are no more than possible values for ( each one corresponds to a different set of primes <= N), and no more than possible values for thus

Notation: as if and only if