证明 对 ε0=1>0，对任意的 η>0 (η<1/2)，取 x=2+η/2，有 0 < |x-2| = η/2 < η，但 |x^2 - 9| = 5-[2η+(η^2)/4] >= 5-{2(1/2)+[(1/2)^2]/4} = 3 > ε0，根据函数极限的否定定义，得证。 注：用极限的定义证明都可以用这样的格式的书写，依样画葫芦就是。
