Although they coincide in metric spaces, in general sequential compactness and compactness are very different properties: neither implies the other, so you can’t expect to use sequential compactness to prove something about compactness. Thus, you’re really talking about two different theorems.
Theorem 1. If $\langle X,\tau\rangle$ is a compact space, and $K$ is a closed subset of $X$, then $K$ is compact.
The proof using open covers is trivial.
Theorem 2. If $\langle X,\tau\rangle$ is a sequentially compact space, and $K$ is a closed subset of $X$, then $K$ is sequentially compact.
Proof. Let $\sigma=\langle x_k:k\in\Bbb N\rangle$ be a sequence in $K$. Since $\sigma$ is also a sequence in $X$, it has a subsequence $\langle x_{n_k}:k\in\Bbb N\rangle$ that converges to some $x\in X$. If $U$ is an open neighborhood of $x$, there is a $k\in\Bbb N$ such that $x_{n_k}\in U$, so $U\cap K\ne\varnothing$. Thus, $x\in\operatorname{cl}K=K$, and the subsequence $\langle x_{n_k}:k\in\Bbb N\rangle$ is convergent in $K$ as well as in $X$. $\dashv$
As you can see, it’s not hard to prove that sequential compactness is inherited by closed sets, but the proof is at least a little more involved than the trivial proof for compactness.
Let me give first the definitions:
D A metric space $M$ (or subset of a metric space) is said to be precompact if every sequence in $M$ contains a Cauchy (or fundamental) subsequence.
${}$
D Let $S$ be any subset of $\Bbb R^n$. Given $\epsilon >0$, we say that $N$ is an $\epsilon$-net for $S$ if the set of open balls
$$B_\epsilon(N)=\{B(x,\epsilon):x\in N\}$$
covers $S$. That is, the set of open balls of radius $\epsilon$ centered at the points of $N$ cover $S$.
Now, a theorem by Hausdorff
T Let $P$ be a metric space, $M$ a subset of $P$. Then $P$ is precompact if and only if, given $\epsilon >0$, $P$ contains a finite $\epsilon$-net for $M$.
P Suppose $M$ is precompact. Then given $\epsilon >0$, choose $x_1\in M$. If the point $x_1\in M$ is such that $d(x,x_1)<\epsilon$ for each $x\in M$; $\{x_1\}$ is itself an $\epsilon$-net, and we're done. If there exists points with $d(x,x_1)>\epsilon$, choose as $x_2$ one of these points. If now for every $x\in M$ we have either $d(x,x_1)<\epsilon$ or $d(x,x_1)<\epsilon$ , we're done. Else, continue the process, noting that the distance from each new $x_n$ to the $x_i\; ;1\leq i\leq n-1$ exceeds $\epsilon$. Thus, if the construction fails to terminate after a finite number of steps, we would obtain a sequence $\{x_n\}_{n\in \Bbb N }$ which contains no Cauchy subsequence, contrary to the hypothesis that $M$ is precompact. Thus, the construction must terminate, providing us with a finite $\epsilon$-net, $\{x_1,\dots,x_{\ell}\}$.
Conversely, suppose that for any $\epsilon>0$, $P$ contains a finite $\epsilon$-net for $M$, and let $A$ be any infinite subset of $M$, in particular, a sequence containing infinitely many distinct points of $M$. We can select a Cauchy subsequence as follows. Let $x_0\in A$ be any point, then take $\epsilon =1$ in the condition and cover $A$ with a finite number of balls of radius $1$. One of these balls, say $B_1$, must contain an infinite $A_1$ of $A$. Choose $x_1\in A_1\setminus \{x_0\}$. Choosing $\epsilon = 1/2$; we cover $A_1$ with a finite number of balls of radius $1/2$. One of them, say $B_2$ must contain an infinite subset $A_2$ of $A_1$. Choose $x_2\in A_2\setminus \{x_0,x_1\}$. Continuing this process, we obtain a sequence $A_0\supseteq A_1\supseteq A_2\cdots$, where each $A_n$ is contained in a ball of radius $1/n$ and a sequence of distinct points $x_0,x_1,x_2,\dots$ with $x_n\in A_n$. This sequence is Cauchy, for if $m<n$, $$B_m\supseteq A_m\supseteq A_n$$ which means $$d(x_n,x_m)<\frac 2 m$$Since $2/m\to 0$, we're done. It follows $M$ is precompact.
${}$
Look here for
T Let $S$ be bounded in $\Bbb R^n$. Then $S$ is precompact.
Now, since $\Bbb R^n$ is complete, any Cauchy (sub)sequence will converge. The assumption that the set is closed means the limit $\ell$ will be in such set. Thus, every bounded closed subset of $\Bbb R^n$ contains a convergent subsequence, that is, it is sequentially compact.
NOTE Observe the similarity of the $\implies$ direction of Hausdorff's criterion with the proof of Weiertrass-Bolzano that Ragib suggests.
Best Answer
Hint
The property of $\mathbb{R}^{n}$ you need to use is that a set is compact if and only if it is bounded and closed.
Consider the set $F'= \{y \in F \mid d(K,y) \leqslant d(K,F)+1\}$. You can easily show that $d(K,F)=d(K,F')$ and I'm sure you can take it from there.