$ \sum_0^m ( \frac{k}{m} )^{m} = \sum_0^m ( \frac{m-k}{m} )^{m}= \sum_0^m (1- \frac{k}{m} )^{m} = \sum_0^ \infty u_{m} (k) $
که برای ,...,m=1,2 داریم
$ u_{m} (k)=\begin{cases} (1- \frac{k}{m} )^{m} & if 0 \leq k \leq m\\0 & if m \leq k\end{cases} $
از طرفی بنا به نامساوی واسطه ها داریم اگر $1 \leq k \leq m$ $ \sqrt[m+1]{ (1- \frac{k}{m} )^{m}.1 } \leq \frac{m(1- \frac{k}{m} )+1}{m+1}=1- \frac{k}{m+1} $
از اینرو برای $k \geq 0$ $0 \leq u_{m} (k) \leq u_{m+1}(k) m=1,2,... $ $ \lim_{m \rightarrow \infty } u_{m} (k)= e^{-k} k=0,1,2,... $ پس دنباله $m \rightarrow u_{m} (k)$ به $e^{-k}$ صعود می کند. پس چون$0 \leq u_{m} (k) \leq e^{-k} $ اگر $1 \leq n \leq m$ داریم $ \sum_0^n u_{m} (k) \leq \sum_0^ \infty u_{m} (k) \leq \sum_0^ \infty e^{-k}= \frac{e}{e-1} $
پس دنباله $m \rightarrow \sum_0^ \infty u_{m} (k)$ همگراست. حال n را ثابت در نظر می گیریم و از طرفین نامساوی قبلی حد می گیریم وقتی $m \rightarrow \infty $داریم $ \sum_0^n e^{-k} \leq \lim_{m \rightarrow \infty } \sum_0^ \infty u_{m} (k) \leq \frac{e}{e-1} $
حال n را به بی نهایت میل می دهیم نتیجه می گیریم که $ \lim_{m \rightarrow \infty } \sum_0^m ( \frac{k}{m} )^{m}= \frac{e}{e-1} $
این اثبات از مقاله FINBARR HOLLAND برداشته شده است. همچنین این حد به حد ولستونهلم معروفه.