Hausdorff-Young inequality

||f̂||_{p'} ≤ ||f||_p for 1 ≤ p ≤ 2, 1/p + 1/p' = 1. Beckner's sharp constants; Babenko 1961.