prove the existence of a maximum

Printable View