||fg||_1 ≤ ||f||_p ||g||_q (Hölder); ||f+g||_p ≤ ||f||_p + ||g||_p (Minkowski). Make Lᵖ a normed space (p ≥ 1).