Tenga en cuenta que una condición necesaria para n es que para cualquier coprimo de n , a y n - a deben satisfacer la condición anterior, por lo tanto, al menos uno de a y n - a solo debe tener factor 2 y 5.
Sea la cantidad de números menores que n que solo tienen factor 2 y 5 y que son coprimos de n , instantáneamente tenemos .
Podemos ver fácilmente que para n suficientemente grande , , pero , como n tiende al infinito, no se cumple para n suficientemente grande .
por lo que no se cumple cuando n > 273 (en realidad, cuando n > 33).