1. The problem statement, all variables and given/known data This is a problem I have been had some troubles understanding in my Discrete Mathematics course. [PLAIN]http://i.imgur.com/HTUNr7f.png[/PLAIN] [itex]\forall[/itex]x[itex]\forall[/itex]y[itex]\exists[/itex]z(x<z[itex]\rightarrow[/itex]x≥y) 2. Relevant equations I know that this statement is true, according to the solutions page, but I just cannot comprehend why? 3. The attempt at a solution Does anyone have any ideas?