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+bn121+bn1b_n = 2 + \sqrt{b_{n-1}} - 2\sqrt{1 + \sqrt{b_{n-1}}}. Calculate

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

Official solution

Hidden so you can work on the problem first.