Maths WorkshopMaths problems with full solutions
Exercise 1864Logic, sets and proofs › Quantifiers and negationL1Added 3 Nov 2026

A statement with a specific structure

#epsilon#forall#exists

Statement

Prove: ∀ε>0, ∃δ>0, ∀x∈(0,δ), x<ε\forall\varepsilon>0,\ \exists\delta>0,\ \forall x\in(0,\delta),\ \sqrt{x}<\varepsilon.

Hint

Take δ=ε2\delta=\varepsilon^2.

Show solutionHide solution

Solution

Choice. For ε>0\varepsilon>0, choose δ=ε2>0\delta=\varepsilon^2>0.

Verification. For x∈(0,δ)=(0,ε2)x\in(0,\delta)=(0,\varepsilon^2), x<ε\sqrt x<\varepsilon. ✓

Conclusion. The statement holds; this proves lim⁡x→0+x=0\lim_{x\to0^+}\sqrt x=0.