積に対するヤングの不等式
ある種のヤングの不等式はf を閉区間 [0, c] (c > 0) で狭義単調増大な実数値連続函数で f(0) = 0 となるものを用いて記述される。f は f の逆写像とすれば、任意の a ∈ [0, c] および b ∈ [0, f(c)] に対し、
であり、等号成立は b = f(a) が必要十分。