Vaya! Quizá no testeé suficiente. Esta tarde cuando tenga un rato lo reviso.
La aproximación la saqué de
aquí y le puse una constante multiplicativa para que nunca fuera menor que el número -al parecer erróneo- de primos que me daba para las pruebas que hice. Como es una aproximación asintótica, en teroía debería ajustarse un poco más cuando el número de primos a analizar es más grande.
Un saludo!