Αν μια συνάρτηση $f$ παρουσιάζει (ολικό) μέγιστο, τότε αυτό θα είναι το μεγαλύτερο από τα τοπικά της μέγιστα.