All Questions

The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16). Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$ by $a_0=b, a_{n+1}=2^{a_n}$. Prove that $...