Mathematically proving the derivative with respect to x of the function ln(x), where ln is the logarithm base "e" (the approximately 2.718... constant).