次の式は凸関数を眺めていたら思いついた．予想． 関数は凸関数であるとする．このとき に対してが成立する．また逆も成立する．□凸関数のグラフ上に三点をとって線分の傾きを比較すると，成り立っている…と思われる． まあ証明できないでいるので，ひょっと…