We will determine for a constant function . Piecewise constant functions are handled by considering for . The procedure is remarkably similar to the procedure for globally constant functions.
We have assumed that . Take any ; a simple proof by contradiction, which follows, shows that is an exact bound of g:
Assume there is a point such that . Let , so :
Furthermore, and imply that .
|Jeff Tupper||March 1996|