Let be the collection of all continuous increasing functions defined on For any consider the expression Find the smallest possible value of as ranges over
Bonus: Compare and
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Since the functions ψ : [ 0 , 1 ] → R and x : [ 0 , 1 ] → R are non-decreasing, using the Hardy-Littlewood inequality (a generalization of the well-known Rearrangement Inequality ) on the numerator, we have s ( ψ ) ≥ ∫ 0 1 ψ ( x ) d x ∫ 0 1 ( 1 − x ) ψ ( x ) d x = 1 − s ( ψ ) . This yields s ( ψ ) ≥ 2 1 . The minimum value is achieved by taking, e.g., ψ ( x ) = 1 , ∀ x ∈ [ 0 , 1 ] .