"Consider the set S=x∈R:x2<2. Show that if H is any upper bound for S that is a rational number, then there exists another rational number h∈Q which is also an upper bound for S but satisfies h < H."
I'm guessing proof by contradiction is the way to go with this, but don't have a clue how to start it off. Assume h doesn't exist or something similar?
Somewhat depends what you can or can't assume. If you can quote the result that between any distinct real numbers there's at least one rational, then that directly tells you you can find h between 2 and H.
If you don't have it as a known result, that's probably a little like "cheating" though. But you almost certainly have been given an axiom along the lines of ∀ϵ>0,∃n∈Ns.t.n1<ϵ. At which point it should be obvious how to finish.