This isn't true, bounding functions are really useful for many proofs. But see nilkn's response.