\(\mathbb{R}^n\)の部分集合\(M\)は，それが\(\mathbb{R}^n\)のある球体\(B(a;\epsilon)\)に含まれるとき，有界であると言われる．これは，\(M\)が\(\mathbb{R}^n\)のある開区間（あるいは閉区間）に含まれることといっても，明らかに同じことである．
証明
示すべきことは\[\exists \epsilon >0 [M \subset B(a;\epsilon)] \Longleftrightarrow M \subset \text{開区間（となる開区間が存在）}\]である．\(B(a;\epsilon)=\{x|x\in\mathbb{R}^n,d(a,x)<\epsilon\}\)．
必要性．\(x \in M\)を任意にとる．このとき，仮定により\(d(a,x)<\epsilon\)である．
\begin{align*}
d(a,x)<\epsilon \Longleftrightarrow &\sqrt{\sum_{i=1}^{n}(x_i-a_i)^2}<\epsilon\\
\Longleftrightarrow &(x_1-a_1)^2+\cdots+(x_n-a_n)^2<\epsilon^2\\
\Longrightarrow &(x_i-a_i)^2<\epsilon^2~(i=1,\cdots,n)\\
\Longleftrightarrow &|x_i-a_i|<\epsilon~(i=1,\cdots,n)\\
\Longleftrightarrow &x\in\text{開区間}
\end{align*}
十分性．\(M\subset\{x=(x_1,\cdots,x_n)|a_i < x_i < b_i~(i=1,\cdots,n)\}\)とする．\(x=(x_1,\cdots,x_n)\in M\)とすると，\(a_i < x_i < b_i(i=1,\cdots,n)\)が成り立つ．\(\max\{b_1-a_1,\cdots,b_n-a_n\}\)より大きい\(\epsilon^{\prime}\)をとる．この\(\epsilon^{\prime}\)に対して，
\begin{align*}
d(a,x)= &\sqrt{\sum_{i=1}^{n}(x_i-a_i)^2}=\sqrt{(x_1-a_1)^2+\cdots (x_n-a_n)^2}\\
<&\sqrt{(b_1-a_1)^2+\cdots (b_n-a_n)^2}\\
\leq &|b_1-a_1|+\cdots |b_n-a_n| \\
= &(b_1-a_1)+\cdots (b_n-a_n) < n\epsilon^{\prime}
\end{align*}
この\(n\epsilon^{\prime}\)より大きい\(\epsilon\)をとればよい．
証明終