In mathematics, the log sum inequality is very useful for proving several theorems in information theory.
1.Statements
Suppose ai and bi are nonnegative numbers. The log sum inequality states that
2.Proof
(1)Convex functioin
In mathematics, a real-valued function F(x) defined on an interval is called convex (or convex downward or concave upward) if the graph of the function lies below the line segment joining any two points of the graph. Equivalently, a function is convex if its epigraph (the set of points on or above the graph of the function) is a convex set.