Thanks, this is indeed a simpler counterexample. Note that it is a counterexample to a different error in the original statement. In particular, the error you’ve caught here is that fromX/Y > 1,one cannot conclude thatX > Y.
Thanks, this is indeed a simpler counterexample. Note that it is a counterexample to a different error in the original statement. In particular, the error you’ve caught here is that from
X/Y > 1,
one cannot conclude that
X > Y.