f(x) が下に凸であるとは、a≠b、0<λ<1 に対して
　(1-λ)f(a) + λf(b) ＞ f((1-λ)a+λb)
が成り立つこととする。

〔Popoviciuの不等式〕
f(x) が下に凸ならば、 (a+b+c)/3 = m に対して、
f(a) + f(b) + f(c) + 3f(m) ≧ 2f((a+b)/2) + 2f((a+c)/2) + 2f((b+c)/2),

佐藤淳郎（訳）「美しい不等式の世界」 朝倉書店(2013) p.41 演習問題1.89