1970 국제수학올림피아드 3번문제

실수 $a_0, a_1, …, a_n, …$ 이 다음 조건을 만족한다: \[ 1 = a_0 \leq a_1 \leq a_2 \leq \cdots \leq a_n \leq \cdots \] $b_1, b_2, …, b_n, …$ 은 다음과 같이 정의된다: \[ b_n = \sum_{k=1}^n \left( 1 – \frac{a_{k-1}}{a_k} \right) \frac1{\sqrt{a_k}} \]
(a) 모든 $n$에 대하여 $0 \leq b_n < 2$ 임을 증명하여라. (b) $0 \leq c < 2$ 인 $c$가 주어져 있을 때, 충분히 큰 모든 $n$에 대해 $b_n>c$ 가 성립하도록 하는 수열 $a_0, a_1, …$ 이 존재함을 증명하여라.