Let [math]. Then the derivative is [math] Thus, [math] is monotone on [math] because



Hence [math] has an inverse function. Since [math] as [math], and [math] as [math], it follows that the inverse function [math] is defined for all numbers.

Find the derivative:

[math]