MathDB
IMC 1995 Problem 8

Source: IMC 1995

February 19, 2021
Summationreal analysis

Problem Statement

Let (bn)nN(b_{n})_{n\in \mathbb{N}} 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}.