IMC 1995 · Problem 2

Day 215 points2nd IMC · Plovdiv, Bulgaria

Statement

Let {bn}n=0∞\{b_n\}_{n=0}^{\infty} be a sequence of positive real numbers such that b0=1b_0 = 1, bn=2+bn−1−21+bn−1b_n = 2 + \sqrt{b_{n-1}} - 2\sqrt{1 + \sqrt{b_{n-1}}}. Calculate

∑n=1∞bn2n.\sum_{n=1}^{\infty} b_n 2^n.

Official solution

Hidden so you can work on the problem first.