**2. Automatic Deduction of the Convexity and Concavity of a Function**
