あーひょっとして[ ]の中の式が下に凸の式ってことかな?
最小値を持つみたいな、、、違うかも、、、
ただの感想だけで納得したらダメですな
元ネタで確認してきます
失礼しました