How to show $\frac{19}{7}<e$

$$ \int_{0}^{1} x^2 (1-x)^2 e^{-x}\,dx = 14-\frac{38}{e},$$ but the LHS is the integral of a positive function on $(0,1)$.

---

Another chance is given by exploiting the great regularity of the continued fraction of $\coth(1)$:

$$\coth(1)=[1;3,5,7,9,11,13,\ldots] =\frac{e^2+1}{e^2-1}$$ gives the stronger inequality $e>\sqrt{\frac{133}{18}}$.

The first few convergents of the continued fraction representation of $e$ are $$ 2, 3, \frac{8}{3}, \frac{11}{4}, \frac{19}{7}, \frac{87}{32}, \frac{106}{39} $$

Since these convergents oscillate monotonically towards $e$, the last one works to prove that $e>\frac{19}{7}$.

(If you know that $e$ is irrational, you can stop as soon as you get $\frac{19}{7}$ as a convergent because there will be other terms after that.)