Let n be a natural number with 1≤n, let R be the set of real numbers with the operations and the order ≤ of its ordered field structure, let C be a convex subset of Euclidean space Rn, a real vector space by Euclidean Space Rn is a Real Vector Space, and let u:C→R be convex on C.
Let D⊆C and let x0∈D be such that
x0+(x0−x)∈Dfor every x∈D,
and let M∈R satisfy u(w)≤M for every w∈D. Write 2=1+1.
Then
2u(x0)−M≤u(x)for every x∈D.