1. Si f(x)⩾0 pour tout x∈I, alors ∫abf(x)dx est l'aire du domaine délimité par la courbe représentative de f, l'axe des abscisses et les droites d'équation x=a et x=b. Cette aire est positive donc ∫abf(x)dx⩾0.
2. Si f(x)⩽g(x) pour tout x∈I, alors (g−f)(x)⩾0.
D'après la propriété 1., on a ∫ab(g−f)(x)dx⩾0.
Par linéarité de l'intégrale, on obtient ∫abg(x)dx−∫abf(x)dx⩾0, soit ∫abf(x)dx⩽∫abg(x)dx.