223 Infimum and supremum
http://qindex.info/i.php?x=9748

-