lim (x=>inf) (x^5 * e^(-x))