Bourbaki

Exercise 22, § 1

Functions of a Real Variable, II, p. 32

Let ff be a numerical increasing continuous function and ≥ 0 in the interval (0, 1). (a) Now prove that there exists a convex function gg ≥ 0 in (0, 1) such that g≤fg \leq f and ∫01g(t) dt≥12∫01f(t) dt\int_0^1 g(t)\,dt \geq \frac{1}{2} \int_0^1 f(t)\,dt (cf. I, p. 53, exercise.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.