¤
n! ‒ 1
n! ‒ 1
R,
n! ‒ 1
n! ‒ 2
R,
n! ‒ 1
n! ‒ 3
R, …
n! ‒ 1
n! + 1
R(Ƒ)

Ist das Probieren über ein endliches Interval nicht eine vollwertige Rechenoperation?
  Ich könnte ⤾n die kleinste der Zahlen n! ‒ 1, n! ‒ 2, n! ‒ 3 … n + 1, nennen für die die einer der oberen Ausdrücke ¤ 0 wird. Es ist nur nötig daß ⤾n für alle n einer von [f|v]ornherein definierbaren Form eine Bedeutung hat & das ist der Fall.