Description: Lemma for taylth . This is the main part of Taylor's theorem, except for the induction step, which is supposed to be proven using L'Hôpital's rule. However, since our proof of L'Hôpital assumes that S = RR , we can only do this part generically, and for taylth itself we must restrict to RR . (Contributed by Mario Carneiro, 1-Jan-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | taylthlem1.s | |
|
taylthlem1.f | |
||
taylthlem1.a | |
||
taylthlem1.d | |
||
taylthlem1.n | |
||
taylthlem1.b | |
||
taylthlem1.t | |
||
taylthlem1.r | |
||
taylthlem1.i | |
||
Assertion | taylthlem1 | |