用夹逼证 limit as x -> 0 of x cos(1/x) = 0 。