1. The problem statement, all variables and given/known data Theorem: Let x,y,ε be ℝ. If x≤ y+ε for every ε > 0 then x ≤ y. Write the above as a logic statement and prove it using contrapositive proof. The attempt at a solution The contrapositive statement x > y → x > y+ε is only true if ε < 0. Does a contrapositive proof negate the equality of ε?