Description: Lemma for binomcxp . As k increases, this ratio's absolute value converges to one. Part of equation "Since continuity of the absolute value..." in the Wikibooks proof (proven for the inverse ratio, which we later show is no problem). (Contributed by Steve Rodriguez, 22-Apr-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | binomcxp.a | |
|
binomcxp.b | |
||
binomcxp.lt | |
||
binomcxp.c | |
||
Assertion | binomcxplemrat | |