5 Las sucesiones $ a_0, a_1, \ldots$ y $ b_0, b_1, \ldots$ están definidas para $ n = 0, 1, 2, \ldots$ por las igualdades \[ a_0 = \frac {\sqrt {2}}{2}, \quad a_{n + 1} = \frac {\sqrt {2}}{2} \cdot \sqrt {1 - \sqrt {1 - a^2_n}} \] y \[ b_0 = 1, \quad b_{n + 1} = \frac {\sqrt {1 + b^2_n} - 1}{b_n} \] Demuestre las desigualdades para todo $ n = 0, 1, 2, \ldots$ \[ 2^{n + 2} a_n < \pi < 2^{n + 2} b_n. \]