Sujet : Re: how
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 10. May 2024, 13:42:25
Autres entêtes
Organisation : Nemoweb
Message-ID : <MMgDMrziqDTlmJ27wRndpDTtC7M@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 09/05/2024 à 17:24, Moebius a écrit :
Am 08.05.2024 um 21:58 schrieb WM:
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ: m > n.
Großartig
Daraus können wir direkt auf
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ: 1/m < 1/n.
schließen.
Und damit auf
∃^ℵo m ∈ ℕ_def: 1/m <= x.
Mit anderen Worten:
Ax_def > 0: NUF(x_def) = ℵo.
Slightly corrected. x_def is a definable real number.
Regards, WM
…