Let's see if someone can find any holes in the following:
Let S be bounded in and let such that . Since must be closed, as above, under , S is, at the least, comprised of all limit ordinals in . But, there are an unbounded number of limit ordinals in , making S unbounded, a contradiction.
Therefore, S must be closed and unbounded. Da?