Problem 344 (difficulty: 7/10)
Prove for every sequence \(\displaystyle (a_n)\):
\(\displaystyle \liminf \left(1+\frac1n\right)^{a_n} = e^{\liminf\tfrac{a_n}{n}}. \)