Let be an infinite sequence, since is sequentially compact there is a subsequence (I'll call it the same) and such that , but is closed so...
Let B be a subset of Y, and let B be sequentially compact. Let D be a closed subset of B. Then D is sequentially compact.
Can anyone help me out and give me a general direction to go with proving this?