琴生不等式是不是函数凹凸性的推广?