a) Chứng minh rằng (1+x)α≥1+αx với α≥1 và x≥0, và rằng (1+x)α≤1+αx với 0≤α≤1 và x≥0.
b) Chứng minh rằng (1−x)α≤1+αx1 với 0≤x≤1 và α≥0.
c) Với 0≤α≤1, chứng minh rằng với x≥0 và y≥0 ta có xαy1−α≤αx+by đối với mọi cặp số >0 sao cho aαb1−α=α(1−α)1−α.
d) Suy ra từ c) rằng nếu f,g là hai hàm điều hòa ≥0 trên một khoảng I sao cho các tích phân ∫If(t)dt và ∫Ig(t)dt hội tụ, thì tích phân ∫I(f(t))α(g(t))1−αdt hội tụ, và
∫I(f(t))α(g(t))1−αdt≤a∫If(t)dt+b∫Ig(t)dt. Từ đó suy ra
bất đẳng thức Hölder ∫I(f(t))α(g(t))1−αdt≤(∫If(t)dt)α(∫Ig(t)dt)1−α (được gọi là "bất đẳng thức Cauchy-Buniakowski-Schwarz" khi
α=21).