The sequence $(a_n)$ is defined by $a_1 =\sqrt2$ and $a_{n+1} =\sqrt{2-\sqrt{4-a_n^2}}$. Let $b_n =2^{n+1}a_n$. Prove that $b_n \le 7$ and $b_n < b_{n+1}$ for all $n$.