Re: There is a first/smallest integer (in Mückenland)

Am 18.07.2024 um 19:00 schrieb Jim Burns:

On 7/18/2024 1:52 AM, Moebius wrote:

Am 18.07.2024 um 06:30 schrieb Jim Burns:

On 7/17/2024 1:49 PM, WM wrote:

Le 17/07/2024 à 19:13, FromTheRafters a écrit :

it jumps because of your stepwise function.

>
Of course it jumps,
but what is the maximum size of a jump?

>
|ℝ| is the maximum size of a jump.

>
Nope.

 You are answering [the] question,
| What is the size of the jump of NUF(x) at 0?
 I had read "a jump" as a reference more generic than that.

Yes, sometimes it's hard to guess what he's babbling about.

-- However, in WM's most recent post, it seems that
your reading is more correct than mine.

May be.

Paraphrasing, WM seemed to ask
| How can a jump at one point be by
| more than one point? Anywhere. Any jump.

I'd say ... "can be higher than 1".

Paraphrasing you
| Well, it _is_ more.
| <same proof again>

Sure.
[...]

Jumps "at" a point are between
  nearby points.

Sort of. :-P

WM admitted that much in a recent post,
but changed what "change" means to him.

Yeah, WM sometimes adjust to the replies he gets.
A =/= A (depending on time: A (at t = t_1) may differ from A (at t = t_2, if t_1 =/= t_2).