limit superior/inferior proof

Printable View