Re: Replacement of Cardinality

On 8/6/24 4:35 AM, WM wrote:

Right. But with NUF(x) = 1 ==> INVNUF(1) = x we get
 ∃u ∈ ⅟ℕ, u < x, ∀y > x = INVNUF(1).

 But INVNUF(1) can't exist, as it will be bigger than
 1/ ( ceil(1/INVNUF(1)) +1 ), and 1/ ( ceil(1/INVNUF(1)) +2 )
which are two different unit fractions.