凸函数?凸函数的结论是怎么来的?