We first start with the following inequality

Let , and for large values of we have that . For , the function has Taylor expansion

Remind

Remind

Since , we have

and thus (for )

since .