Για κάθε συνάρτηση $f$, το μεγαλύτερο από τα τοπικά μέγιστα της $f$, εφόσον υπάρχουν, είναι το ολικό μέγιστο της $f$.