Help with nested interval proof

Printable View