Demostrar que $2^x
Así que si tenemos registros tenemos que mostrar para x suficientemente grande, $x\log 2 http://en.wikipedia.org/wiki/Primorial
Asintóticamente, primorials '' pn#'' crecer según:
$p_n# = e^{(1 + o(1)) n \log n}$
donde $o(\cdot)$ es la notación de o poco.