Without loss of generality

Advanced Level

• 2017 USAJMO Problem 3

{stub}