I've never seen this stated, but I think when

Is this proof correct or is there a simpler one?

Let

Define for

Since

and

by definition of

(Note: getting a positive expression here so the next limit equals 1 is the whole reason for introducing the function This would not necessarily hold for )

Therefore

and letting