I am struggling to start these two proofs, I hope you can point me in the right direction.

1. Prove by induction on the size of the set that every finite set has a minimum element.

2. S is a set defined by S= { a + b(2)^{0.5 }} where a and b are rational

If S has an upper bound does a least upper bound exist? Prove the answer.