# Inequality proof

## Homework Statement

Let x and y be real numbers. Prove that if x =< y + k for every positive real number k, then x =< y

## The Attempt at a Solution

x =< y + k
-y + x =< k
since k is positive, the lowest value it can take doesn't include 0: -y + x < 0
x < y

So I get x < y from x =< y + k and not the required x =< y. Am I right or I'm screwing up somewhere? Thanks for your help.

## Answers and Replies

If x and y are equal, then $x \leq y + k$ for all $k>0 \in \mathbb R [/tex], right? So your conclusion must not be right. Try this. Assume there are an x and y such that [itex] x \leq y + k$ for all $k>0$ but $x > y$ and show this leads to a contradiction.

Out of x > y I got -y + x > 0.
So that 0 < -y + x =< k

But that's not quite a contradiction? Or is it?

Mentallic
Homework Helper
I haven't studied this at all, but intuitively I would say that lynchu is correct.

If x and y are equal, then $x \leq y + k$ for all $k>0 \in \mathbb R [/tex], right? If x and y are equal, then we only have x=y+k in the case that k=0, now if k>0 then x<y+k. Right? I haven't studied this at all, but intuitively I would say that lynchu is correct. If x and y are equal, then we only have x=y+k in the case that k=0, now if k>0 then x<y+k. Right? Well yes, but that's not the statement that's being evaluated. The theorem to be proved is: IF [itex] x \leq y + k$ for all real $k>0$, THEN $x \leq y$.

lynchu's claim was stronger than this; he claimed that in fact

IF $x \leq y + k$ for all real $k>0$, THEN $x < y$.

But this isn't true, because if x and y are equal, then the condition holds, but the conclusion is false.

What you said was:

IF $x=y$, THEN $x<y+k$ for all real $k>0$.

lynchu said:
Out of x > y I got -y + x > 0.
So that 0 < -y + x =< k

But that's not quite a contradiction? Or is it?

No, not really. All you need to do is show me ONE k value so that if $x \leq y + k$ and $x > y$ you get a contradiction.

Mentallic
Homework Helper
Oh I see, yeah now it makes sense why it should be $$x\leq y$$ Appreciate the help so far.
I've spent way too much time on this and yet I just don't see it. 