Dive deeper into Infimum and supremum
New Tab