Esto prueba que el primorial "x"# es asintóticamente igual a exp((1+o(1))"x"), donde "o" es el símbolo de Landau (ó notación o-pequeña, véase notación O) y junto con el teorema de los números primos, establece un comportamiento asintótico de "p"#.