MathDB
IMO LongList 1985 CUB1 - Find the limit

Source:

September 10, 2010
limitalgebra unsolvedalgebra

Problem Statement

Set An=k=1nk62k.A_n=\sum_{k=1}^n \frac{k^6}{2^k}. Find limnAn.\lim_{n\to\infty} A_n.