Dusart, Lemme 55: $G_2<\exp(2.64\,X^{1/2}e^{-X})$ · Prove2Me

P

Initializing...

Dusart, Lemme 55: $G_2<\exp(2.64\,X^{1/2}e^{-X})$ · Prove2Me