Derivative of lnx Proof
The proof for the derivative of natural log is relatively straightforward using
implicit differentiation and chain rule.
Derivative proof of lnx
Let
By the rule of logarithms, then
Take the derivative with respect to x (treat y as a function of x)
Substitute x back in for ey
Divide by x and substitute lnx back in for y