I am a bit puzzled on this. It is a bit embarrassing.
Is the following statement true or false?
For all y there exists an x s.t. x > y^2 + 1
The problem says nothing else about x or y and this is confusing. I have a feeling it is true because I can always find a number that is bigger than another number. Am I thinking correctly? Or is it that I choose y to be zero and x to be zero and thus it is false by counterexample. I think that this is incorrect because it is for some x not for all x.