Deje $A(n)$ el número de enteros de 2 a $n$ con un número de diferentes factores primos, y deje $B(n)$ el número de enteros de 2 a $n$ con un número impar de distintos factores primos. (Por "distintos" me refiero a, por ejemplo, que el $2^{100}$ tiene uno distinto primer factor.)
Un pequeño programa en python muestra que como $n$ rangos de 2 a 1000000, sólo hay 9437 valores de $n$ que $A(n)>B(n)$, mientras que hay 990450 valores de $n$ que $A(n)<B(n)$. Hay 112 valores de $n$ que $A(n)=B(n)$, el mayor de los cuales es 12099.
Hay algunos precisa teorema o una conjetura o incluso plausible heurística para el efecto de que $A(n)<B(n)$ "la mayoría del tiempo", o quizás "con el tiempo"? O es sólo una ilusión que se disuelve como $n$ crece más?