Description: The supremum of two real numbers is the maximum of these two numbers. (Contributed by AV, 8-Jun-2021)