Given a function defined for all positive real numbers which satisfies a functional equation
for all positive real numbers, compute .
We take the derivatives of both sides, using the chain rule to take the derivative of :
(We can divide by since by assumption is a positive real number; hence, not zero.) Then we have