User blog comment:MilkyWay90/Help with ordinals/@comment-35470197-20180709220316/@comment-32213734-20180718072207

bigger than or equal to

("sup" is supremum)

sup {1, 2, 3, 4, 5} = 5, not 6, as it would be if it was just bigger than