EDB — 26G

4.7 Frequently, eventually[26G]

Let \(ℕ\) be the natural numbers.

This definition is equivalent to definition [0B3]↺↻ for real variable \(x→∞\); it can be further generalized, as seen in [06Y]↺↻.

Exercises

1. [019]↺↻

2. [01C]↺↻

3. [01F]↺↻

4. [01G]↺↻

5. [29G]↺↻