tentativas, donde formula_12 es la función contador de primos, el número de primos menores que "x".