Sea formula_1la función contador de números primos, que denota la cantidad de primos que no exceden a formula_2.