We will determine for any monotonically decreasing function . Since g is monotontically decreasing, . We assume that , and that , where ; , so that . Take ; a simple proof by contradiction, which follows, shows that is an upper bound for g:
Assume that there is a point such that . Let , so . Furthermore, and imply that .
Jeff Tupper | March 1996 |