Dimostrazione sui numeri primi

Come dimostrereste questo teorema?
Sia $p_(n)$ l'n-esimo numero primo. Si ha $p_(n)<=2^(2^(n-1)).

Come dimostrereste questo teorema?
Sia $p_(n)$ l'n-esimo numero primo. Si ha $p_(n)<=2^(2^(n-1)).

Il postulato di Bertrand (dimostrato da Chebychev e poi da Erdos) afferma che se $n>1$ allora tra $n$ e $2n$ c'è sicuramente un numero primo. Quindi si ha

$2p_(n-1)>p_n$

e con ciò non ti dovrebbe essere difficile dimostrare il teorema.

Ciao!