CB.Calc.FUN-1: Existence theorems can be used to draw conclusions about the behavior of functions.