MathDB
Putnam 2012 B4

Source:

December 3, 2012
Putnamlogarithmslimitinequalitiesinductioncalculusintegration

Problem Statement

Suppose that a0=1a_0=1 and that an+1=an+eana_{n+1}=a_n+e^{-a_n} for n=0,1,2,.n=0,1,2,\dots. Does anlogna_n-\log n have a finite limit as n?n\to\infty? (Here logn=logen=lnn.\log n=\log_en=\ln n.)