Let . Then is convex if and only if for
be a function which is concave upward/downward. Then, the following holds:
For every has both the left derivative, and the right derivative
Further, for