Hölder conjugate

Young’s inequality

Let be Hölder conjugate and . Then

with equality iff . anal

Proof

Since the exponential function is convex,

for , with equality iff or . Thus setting whence , and , we have

with equality iff .

---

tidy | en | sembr