Re: How many different unit fractions are lessorequal than all unit fractions?

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