[math-fun] Sequence of polynomials with largest real root approaching e?