Well, x is a lower bound of S. Suppose there is another lower bound y and y>x. Knowing there is a z such that x<z<y gives you a problem since then z is in S. Trying to prove inf S=x leads you to prove things that are an awful lot like what you are trying to prove to begin with.
