document.write( "Question 1019873: By giving a proof or a counterexample, determine the truth value of the following
\n" ); document.write( "statement.
\n" ); document.write( "For every pair of natural numbers x and y such that x > 2y there is a natural number z such that
\n" ); document.write( "x > z > y.
\n" ); document.write( "
\n" ); document.write( "

Algebra.Com's Answer #635856 by LinnW(1048)\"\" \"About 
You can put this solution on YOUR website!
Suppose x and y are a pair of natural numbers such that x > 2y
\n" ); document.write( "Since y is a natural number, 2y is a natural number
\n" ); document.write( "x must be ( 2y + 1 ) or larger to satisfy x > 2y since 2y + 1
\n" ); document.write( "is the next larger natural number above 2y.
\n" ); document.write( "Let x' = 2y + 1
\n" ); document.write( "Let z = 2y
\n" ); document.write( "We know y < 2y and 2y < 2y + 1
\n" ); document.write( "so y < 2y < 2y + 1
\n" ); document.write( "y < z < x'
\n" ); document.write( "We know x' < x
\n" ); document.write( "so y < z < x or x > z > y
\n" ); document.write( "
\n" );