Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253191

Re: Some results about unit fractions

From Jim Burns <james.g.burns@att.net>
Newsgroups sci.logic
Subject Re: Some results about unit fractions
Date 2023-05-18 17:57 -0400
Organization A noiseless patient Spider
Message-ID <0c8bbfb9-48d7-8e06-c223-3809c98f71b6@att.net> (permalink)
References (13 earlier) <bb001be0-94e3-4579-a6b0-2c55f4a39a5cn@googlegroups.com> <b14d76b9-6f1e-7c15-1a43-424ec01b73ba@att.net> <ff0f20ec-1449-4c94-b7ea-9a17fe5f7cd6n@googlegroups.com> <0985129a-230e-68c3-0619-c458e0be6025@att.net> <c13c3446-60c7-4a00-adc1-2a21e68efee4n@googlegroups.com>

Show all headers | View raw

On 5/18/2023 3:20 PM, WM wrote:
> Jim Burns schrieb am Mittwoch,
> 17. Mai 2023 um 20:50:13 UTC+2:

>> 0 is greatest lower bound, not minimum.
>> The minimum of ⅟ℕ⁺ not-exists.
>
> 0 is lower bound.
> For every unit fraction 1/n
> exists an x  < 1/n.

Yes.
∀n ∈ ℕ⁺:
∃x ∈ (0,1]:  x < ⅟n

> There is no unit fraction before
> every x > 0, let alone infinitelymany.

Yes.
¬∃n ∈ ℕ⁺:
∀x ∈ (0,1]:  ⅟n < x

However,
For each x > 0
there are infinitely-many
unit fractions before x
∀x ∈ (0,1]: mₓ = ⌈⅟x⌉  ⟹
∀n ∈ ℕ: 0 < ⅟(mₓ+n) < x

For each x, there is a split of ⅟N⁺
and the side before x is 1×1 1-ended.

All 1×1 1-ended can be matched by
the Cross-Split Rule,
and so are the same size, ℵ₀

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-04 15:24 -0400
  Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-05 05:01 -0700
    Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-05 13:01 -0400
      Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 07:22 -0700
        Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-06 07:56 -0700
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:22 -0700
        Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 13:02 -0400
          Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:18 -0700
            Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 23:41 -0400
              Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-07 07:17 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-07 23:50 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 06:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:04 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 14:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:59 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 21:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:45 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-09 11:46 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 13:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 08:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:07 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 13:58 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:10 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:13 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:19 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 15:32 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 13:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 14:02 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:57 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 14:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:49 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-09 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 14:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-09 17:09 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 09:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 13:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 13:21 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-11 04:37 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-11 09:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-11 14:00 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-12 15:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-13 06:22 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 14:30 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-13 11:41 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:24 -0400
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-14 02:20 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:04 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 14:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 05:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:15 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:49 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:14 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 08:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:33 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:11 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:08 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 08:39 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:23 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:33 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:47 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 13:02 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:16 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-13 15:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 19:41 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:41 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:11 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 18:17 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 16:16 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 20:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:28 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 10:08 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:46 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 18:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 07:31 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:32 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:08 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 08:17 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 14:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:52 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:43 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:56 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 09:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 10:42 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:26 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 13:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 12:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 13:16 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:39 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:43 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 20:36 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:38 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:42 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-20 23:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 01:56 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 02:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-20 17:55 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 06:51 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 07:02 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 10:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 10:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 11:01 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 11:56 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 12:30 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 13:27 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-23 10:56 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-23 11:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-24 07:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-23 14:45 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-24 07:33 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-24 17:46 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 05:56 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-26 02:11 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:44 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-27 01:39 +0100
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-26 23:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 10:19 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-27 10:58 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:22 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 06:41 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-26 02:00 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:44 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-27 01:47 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 10:14 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-27 10:59 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:26 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-24 13:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 06:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-25 13:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 13:18 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-25 17:54 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:50 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-05-26 13:58 +0200
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 06:05 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 12:10 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 10:57 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-26 12:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:56 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 15:52 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:58 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-28 05:11 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:04 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-28 18:47 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 14:36 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:47 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 16:25 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-28 05:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 15:31 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:51 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 17:45 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:57 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:43 -0700

csiph-web