$ brightmare 'e^x = \lim_{n \to \infty}\left(1+\frac xn\right)^n = \sum_{n = 0}^\infty\frac{x^n}{n!}'
                 n     ∞    n 
 x        ╭   x ╮     ═══  x  
e  =  lim │1+───│  =  >   ────
     n → ∞╰   n ╯     ═══  n! 
                     n = 0