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
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