Problem 9.3 (3 points).
(a) Show that the function f(x) = log(x) : R+ > R is concave, that is, -f(x) is convex.
(b) Use the concavity of log, prove that for p, q > 1, (1)/(p) + (1)/(q) = 1, and any non-negative reals x, y in R+ , we have the inequality
xy ≤ (x^(p))/(p) + (y^(q))/(q).
Hint: evaluate the logarithm of the above expression.
(c) With the above result, show that for p, q > 1, (1)/(p) + (1)/(q) = 1, and any x, y in Rn, we have
∑_(i=1)^n |x_i y_i| ≤ ||x||_(p) ||y||_(q)
where ||x||_(p) = (∑_(i=1)^n |x_i|^(p))^(1/p) is the lp norm.