Path: ...!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: WM Newsgroups: sci.math Subject: Re: How many different unit fractions are lessorequal than all unit fractions? Date: Wed, 4 Sep 2024 21:10:46 +0200 Message-ID: References: <0da78c91e9bc2e4dc5de13bd16e4037ceb8bdfd4@i2pn2.org> <5d8b4ac0-3060-40df-8534-3e04bb77c12d@att.net> <7e1e3f62-1fba-4484-8e34-6ff8f1e54625@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 4 Sep 2024 19:10:46 -0000 (UTC) Injection-Info: solani.org; logging-data="2238756"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:21r+rOfbuYQzpOyf6A62GP4C28o= X-User-ID: eJwNy8ERACEIBLCWAGGRclZO+i/hfGcSC4pOR8BjYuTeblVKp4x1Fb86eKqcOKNZe2An6JtwZ9irSqeglnn9YEUU/g== In-Reply-To: <7e1e3f62-1fba-4484-8e34-6ff8f1e54625@att.net> Content-Language: en-US Bytes: 1823 Lines: 17 On 03.09.2024 19:50, Jim Burns wrote: > On 9/3/2024 6:22 AM, WM wrote: > If the smallest unit.fraction existed, > you could see it No, that is impossible by your argument: > positive and undercut by > a visibleᵂᴹ smaller.than.smallest unit.fraction. > > But you can't see that. > The smallest unit fraction doesn't exist. Either ∀n ∈ ℕ: 1/n - 1/(n+1) > 0 is wrong or Peano is wrong. Peano has been generalized from the small natural numbers. "All different unit fractions are different" however is a basic truth. Therefore I accept the latter. Regards, WM