Let . Since is an upper bound for , for all . Therefore, is an upper bound for . Moreover, if we let be any other upper bound for , we have that is an upper bound for . Thus, . So, satisfies the definition of .