Ontify
Inequality applying to non-negative measurable real functions in n-dimensional Euclidean space.