Re: Does the number of nines increase?

On 7/4/2024 11:16 AM, WM wrote:

Le 04/07/2024 à 17:08, Moebius a écrit :

Am 04.07.2024 um 16:30 schrieb Moebius:

Da gibt's auch nicht zu "diskutieren",

>
Doch, die Frage, wie Du Dir
die Verteilung der ersten Stammbrüche,
also derjenigen, die kleiner als jeder,
den Du angeben kannst, sind, vorstellst, bleibt.
(Off limits for native English speakers.)

⎛ ∀j ∈ ℕ₁:
⎜ ∃u ∈ ⅟ℕ: u = ⅟j ∧
⎜ ¬∃v ∈ ⅟ℕ: ⅟j = v ≠ u
⎜
⎜ ∀u ∈ ⅟ℕ:
⎜ ∃j ∈ ℕ₁: j = ⅟u ∧
⎜ ¬∃k ∈ ℕ₁: ⅟u = k ≠ j
⎜
⎜ ∀j,k ∈ ℕ₁:
⎜ ∀u,v ∈ ⅟ℕ: u = ⅟j  ∧  v = ⅟k  ⟹
⎝ j < k  ⇔  u > v
⎛ ∀A ⊆ ℕ₁:  A ≠ {}  ⟹
⎜ ∃j ∈ A: ∀k ∈ A: j ≤ k
⎜
⎜ ∀B ⊆ ⅟ℕ:  B ≠ {}  ⟹
⎝ ∃v ∈ B ∀u ∈ B: v ≥ u
⎛ ∀j ∈ ℕ₁:  ℕ₁\{1} ∋ j⁺¹ > j
⎜
⎝ ∀u ∈ ⅟ℕ:  ⅟ℕ\{1} ∋ ⅟(⅟u)⁺¹ < u
⎛ ∀k ∈ ℕ₁\{1}:  ℕ₁ ∋ k⁻¹ < k
⎜
⎝ ∀v ∈ ⅟ℕ\{1}:  ⅟ℕ ∋ ⅟(⅟v)⁻¹ > v