Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: sci.math Subject: Re: How many different unit fractions are lessorequal than all unit fractions? Date: Fri, 6 Sep 2024 22:01:07 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: <3d1a8334-deee-45c6-ae03-340cd8551908@att.net> <69325e33-6b9a-4c2f-a0e3-25508d41b114@att.net> <7dfa422db40391861bfc6803c4c1bb4561d1f8b6@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 7 Sep 2024 02:01:07 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1049104"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US In-Reply-To: Bytes: 1941 Lines: 19 On 9/6/24 4:40 PM, WM wrote: > On 06.09.2024 14:38, joes wrote: >> Am Fri, 06 Sep 2024 14:12:29 +0200 schrieb WM: > >>>> 0 < ... < ⅟⌊4+⅟x⌋ < ⅟⌊3+⅟x⌋ < ⅟⌊2+⅟x⌋ < ⅟⌊1+⅟x⌋ < x >>> 0 is smaller than all that. Therefore there is no increase at 0. >>> x is larger than all that. Therefore your x is not the least one >>> posiible. >> Therefore no x can be the least unit fraction. > > No definable x. No epsilon. > > Regards, WM > Which means no "Unit Fraction" as the reciprical of a Natural Number, since they are all definable. Thus, your NUF must also be counting some sub-finite values, or it just doesn't exist.