IMO 1988 LL ICE40
A sequence of numbers an, n = 1, 2, . . ., is defined as follows:
IMO 1988 LL ICE40
Origin: ICE
Problem
A sequence of numbers an, n = 1, 2, . . ., is defined as follows: a1 = 1/2, and for each n \geq2, an = 2n −3 2n an−1. Prove that n k=1 ak < 1 for all n \geq1.