Hadamard's three-lines theorem

If f is bounded and holomorphic on the strip 0 < Re z < 1 and continuous up to the boundary, then log M(θ) = log sup_y |f(θ+iy)| is a convex function of θ ∈ [0, 1]. Foundation of interpolation theorems (Riesz-Thorin) and of the…