MathCastle
Proof WritingHardWriting It Up

Writing It Up · Hard problem

In which proof is "without loss of generality x≥yx \ge y" NOT justified?