Quote by Dick
The thing is that I think you might find this property useful for proving x=inf S.

I thought you were suggesting this...
x<(x+y)/2
y>(x+y)/2
Therefore x<(x+y)/2<y  this being a much shorter solution than what I had written down earlier. I'm not sure how (x+y)/2 relates to inf S.