04/10/23 05:40:00
>515
下に凸なf(x)=log(1/x)に対して、Jensenの不等式を用いると
af(a/p)+bf(b/q)+cf(c/r)+df(d/s)
≧ f(a*(p/a)+b*(q/b)+c*(r/c)+d*(s/d))
＝ f(p+q+r+s)
＝ 0 ＿＿＿
|┃三 .／ ≧ ＼ ＿＿＿＿＿＿＿＿
|┃ |:::: ＼ .／ | ／ 不等式と聞いちゃぁ
|┃ ≡|::::: (● (●| ＜ 黙っちゃゐられねゑ…
＿＿__.|ミ＼＿ヽ::::... .∀....ノ ＼ ﾊｧﾊｧ /lァ/lァ
|┃=＿＿ ＼ ￣￣￣￣￣￣￣￣￣
|┃ ≡ ） 人 ＼ ガラッ