Liste des Groupes | Revenir à s math |
On 8/17/2024 9:28 AM, WM wrote:Visible unit fractions have the lower bound 0.Le 16/08/2024 à 19:39, Jim Burns a écrit :How can ½⋅βno element of ℕᵈᵉᶠ is its upper.end,>
because
for each diminishable k
diminishable k+1 disproves by counter.example
that k is the upper.end of ℕᵈᵉᶠ
SBZ(x) starts with 0 at 0 and increases,
but at no point x it increases by more than 1
because of
∀n ∈ ℕ: 1/n - 1/(n+1) > 0.
Therefore there is a smallest unit fractions and vice versa a greatest natnumber.
What can't you understand?
⎛ half the allegedly.positive greatest.lower.bound β of
⎝ visibleᵂᴹ.unit.fractions
Les messages affichés proviennent d'usenet.