Challenge 64 du blog Math-OS - Une inégalité reliant l'intégrale du produit de deux fonctions croissantes au produit de leurs intégrales.