Youngβs inequality
Let
with equality iff
Proof
Since the exponential function is convex,
e x p β‘ ( π π‘ + ( 1 β π ) π’ ) β€ π e x p β‘ ( π‘ ) + ( 1 β π ) e x p β‘ ( π’ ) for
, with equality iff π β [ 0 , 1 ] or π β { 0 , 1 } . Thus setting π‘ = π’ whence π = 1 π , 1 β π = 1 π and π‘ = l n β‘ πΌ π , we have π’ = l n β‘ π½ π e x p β‘ ( π l n β‘ πΌ π + π l n β‘ π½ π ) = πΌ π½ β€ πΌ π π + π½ π π with equality iff
. π‘ = π’