ε-N論法

cn

= √( an^2-bn^2 )

= ( an-1-bn-1 )/2

a ＞ an-1 ＞ bn-1 ＞ b

で更に

cn → 0 ( n → ∞ )

⇒

0 ＜ cn ＜ b ( ∀n ≧ N )

となる自然数Nが存在する.