Documentation

Mathlib.Analysis.SpecialFunctions.PolynomialExp

Limits of P(x) / e ^ x for a polynomial P #

In this file we prove that limxP(x)ex=0 for any polynomial P.

TODO #

Add more similar lemmas: limit at -∞, versions with ecx etc.

Keywords #

polynomial, limit, exponential