Analysis I MT22, Infimums and supremums