Let be a statement about integers with the following properties:
and are true;
for all the following statement is true: ( and ) is sufficient for
What is the strongest conclusion that necessarily follows?
A is true for all
B is true for all sufficiently large , but not necessarily for all
C is true for infinitely many , but not necessarily for all
D is true for all odd but not necessarily for all even
E is true for all even but not necessarily for all odd
FNo general conclusion can be drawn beyond and