This problem shows the existence of an nth root.

Let a > 0 and n >= 3 be an integer. Define the set S = {x > 0 : x^n <= a}.

1. Show that S is bounded above and thus that b = sup S exists.

2. Show that b^n = a. To do this, show that it cannot be true that b^n < a or b^n > a.