It turns out that there are two types of Lp interpolation: One is called “Lyapunov’s inequality” which is addressed in this previous blog post.
The other one is called Littlewood’s inequality: If , then for any intermediate .
The proof is here:
Case 1) . We have . There exists such that .
Case 2) . We have . There exists with . Then