Conditions
Using the definition of the limit at infinity verify that lim x → ∞ \lim x \to \infty lim x → ∞ if x → ∞ x \to \infty x → ∞ .
Solution
**Definition.** The function f ( x ) f(x) f ( x ) has a limit, equal to F F F , when x → ∞ x \to \infty x → ∞ in infinity, if:
∀ ε > 0 ∃ δ = δ ( ε ) > 0 ∀ x : ∣ x ∣ > δ ∣ f ( x ) − F ∣ < ε \forall \varepsilon > 0 \ \exists \delta = \delta(\varepsilon) > 0 \ \forall x: |x| > \delta \ |f(x) - F| < \varepsilon ∀ ε > 0 ∃ δ = δ ( ε ) > 0 ∀ x : ∣ x ∣ > δ ∣ f ( x ) − F ∣ < ε
Fix ε > 0 \varepsilon > 0 ε > 0 .
**Consider** ∣ f ( x ) − F ∣ |f(x) - F| ∣ f ( x ) − F ∣ for our case:
∣ cos 2 ( x ) 2 x 2 − 0 ∣ = ∣ cos 2 ( x ) 2 x 2 ∣ ≤ ∣ 1 2 x 2 ∣ < ∣ 1 2 δ 2 ∣ = 1 2 δ 2 < ε \left| \frac{\cos^2(x)}{2x^2} - 0 \right| = \left| \frac{\cos^2(x)}{2x^2} \right| \leq \left| \frac{1}{2x^2} \right| < \left| \frac{1}{2\delta^2} \right| = \frac{1}{2\delta^2} < \varepsilon ∣ ∣ 2 x 2 cos 2 ( x ) − 0 ∣ ∣ = ∣ ∣ 2 x 2 cos 2 ( x ) ∣ ∣ ≤ ∣ ∣ 2 x 2 1 ∣ ∣ < ∣ ∣ 2 δ 2 1 ∣ ∣ = 2 δ 2 1 < ε
Here δ = 1 2 ε \delta = \sqrt{\frac{1}{2\varepsilon}} δ = 2 ε 1 .
**So,** for each ε \varepsilon ε we found δ = δ ( ε ) \delta = \delta(\varepsilon) δ = δ ( ε ) , for which ∣ cos 2 ( x ) 2 x 2 − 0 ∣ < ε \left| \frac{\cos^2(x)}{2x^2} - 0 \right| < \varepsilon ∣ ∣ 2 x 2 c o s 2 ( x ) − 0 ∣ ∣ < ε .
Q.E.D.