证若 limit f = L 且 L > 0 ,存在 f > L/2 的邻域。