I haven't solved the problem, but I think I know how to begin.

For reference, "k is not divisible by the square of a prime" is the same as "k issquarefree." Also, the termsquarefulis the same as nonsquarefree.

The discussion on this post is very relevant. We can compare prime factorisations of the numerator and denominator of . For a particular prime, we are interested in whether the exponent in the numerator minus the exponent in the denominator is greater than or equal to 2, in which case the result is squareful. If there is no prime with this property, then the result is squarefree.

For ease of notation, let and .

We can consider each prime power separately, in which case we are comparing the quantities and .

I've only done some preliminary hand calculations and pattern searching and have not proven anything so far. With more time, I'm pretty confident a pattern would emerge which could then be proven. If you're not required to write a proof and are allowed to write a computer program, a naive algorithm will run very quickly for an upper bound of 200.