Majorant, borne supérieure, plus grand élément