Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Moebius Newsgroups: sci.math Subject: Re: how Date: Fri, 10 May 2024 16:21:57 +0200 Organization: A noiseless patient Spider Lines: 34 Message-ID: References: <_yFJcrVH3mCQISnbXb4RkUGQ63Q@jntp> Reply-To: invalid@example.invalid MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 10 May 2024 16:21:58 +0200 (CEST) Injection-Info: dont-email.me; posting-host="408ee470d84dee6c443cbf9eb5851f8a"; logging-data="1475961"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+qvDb21MMRgumAyB6tGs78" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:B6z5VZGUXnZrhxN8+Odg6CGAO4M= In-Reply-To: Content-Language: de-DE Bytes: 2075 Am 10.05.2024 um 14:42 schrieb WM: > Le 09/05/2024 à 17:24, Moebius a écrit : [...] Nein, Du Dummes Arschloch, ich hatte geschrieben: [Aus ∀n ∈ ℕ: ∃^ℵo m ∈ ℕ: m > n] können wir direkt auf ∀n ∈ ℕ: ∃^ℵo m ∈ ℕ: 1/m < 1/n. schließen. Und damit speziell für n := ceil(1/x) [mit x e IR, x > 0] auf ∃^ℵo m ∈ ℕ: 1/m < 1/ceil(1/x) bzw. auf ∃^ℵo m ∈ ℕ: 1/m <= x. Das wiederum kann auch so geschrieben werden: card({q e {1/k : k e IN} : q <= x}) = ℵo. Mit anderen Worten: Ax > 0: card({q e {1/k : k e IN} : q <= x}) = ℵo bzw. Ax > 0: NUF(x) = ℵo. _____________________________________________ Und jetzt lass Deine Drecksfinger von meiner Darstellung, Du geisteskranker Spinner!