MathDB
Putnam 2014 A3

Source:

December 7, 2014
Putnamlimitinductioninequalitiesalgebradifference of squaresPutnam 2014

Problem Statement

Let a0=5/2a_0=5/2 and ak=ak122a_k=a_{k-1}^2-2 for k1.k\ge 1. Compute k=0(11ak)\prod_{k=0}^{\infty}\left(1-\frac1{a_k}\right) in closed form.