$a_0=1$, $a_{n+1}=a_n+e^{-a_n}$ ($n=0,1,2,\ldots$)인 수열이 있다. $n\to \infty$일 때 $a_n-\log n$이 수렴하는가? (단 $\log n=\log_e n=\ln n$이다.)
(2012년 12월 1일)