TheoremBase

Existence of a Sequence of Positive Real Numbers with Limit Zero

Statement

Let R\mathbb{R} denote the real numbers, with the order ≤\le of the ordered field and the additive identity 00 of the underlying field; write x<yx<y to mean x≤yx\le y and x≠yx\ne y.

Then there exists a sequence (hk)k∈N(h_k)_{k\in\mathbb{N}} in R\mathbb{R} such that 0<hk0<h_k for every k∈Nk\in\mathbb{N} and such that (hk)k∈N(h_k)_{k\in\mathbb{N}} has limit 00.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…