정리실수 $\alpha$를 생각하자. 모든 $n$에 대해, $q_n \rightarrow \infty$ 를 만족하는 어떤 유리수열 $(p_n/q_n)$ 이 존재해서 $p_n/q_n \not = \alpha$ 라고 하자.만약 적당한 $\delta >0$ 가 존재해서, 부등식\begin{equation} \left| \alpha - p_n/q_n \right| 을 만족하면, $\alpha$는 무리수이다. 증명주어진 $\alpha$가 유리수라고 가정하면 다음이 성립한다.\begin{equation} \liminf_{n\rightarrow \infty} |q_nα−p_n|>0 \end{equation}(이는 유리수 집합이 complete가 아님에 근거한다.)즉시, $|q_nα−p_n|■