Let a, b element R. Show that if a <= b1 for every b1> b, then a <= b.
I think the triangle inequality may be helpful in this but i'm not sure. I really don't know where to begin here.
Proof of Problem:
Assume by contradiction that a>b.
Then, a=b+c where c is positive, i.e. c=b-a.
Choose b1=b+d where 0<d<c as in above theorem.
b1=b+d<b+c=a and b+d=b1>b.