AngouriMath
Navigation
← Back to list of members
ByInductionOnAnInequality(AngouriMath.Entity.Variable,AngouriMath.Entity.Set,AngouriMath.Entity.Number.Integer,AngouriMath.Entity,System.Boolean)
Method (no overloads)
Summary
forall x in S : L > R (or >=, <, <=) with an exponential
or a factorial in x, from the least member of S: it holds there, and
with P = L - R, P(x + 1) = c P(x) + D for a multiplier c >= 0 --
1, the base of an exponential, x + 1 beside a factorial -- and a
remainder D >= 0 read by the sign calculus, so that P(x) >= 0 carries to
x + 1; strictly, where c > 0 or D > 0.
Angouri © 2019-2023 ·
Project's repo ·
Site's repo ·
Octicons ·
Transparency ·
4378 pages online