f 是凸函数 当且仅当 $$ f 是可微的凸函數则有 ${}^{}{}^{}$▽f 是单调的，定义函数 $$${}^{}$g′(t) 的连续性以及 $00_{}^{}{}^{}0{}^{}0{}^{}$