Изменения
исправлена опечатка: t заменена на x_0
Будем считать, что функция дифференцируема любое нужное нам число раз.
<tex>f'(x_0) = 0</tex>. Пусть <tex>f^{(1)}(x_0) = f^{(2)}(x_0) = \ldots = f^{(p - 1)}(tx_0) = 0, \ f^{(p)}(x_0) \ne 0</tex>.
<tex>p</tex> {{---}} первое такое число, что производная <tex>f</tex> такого порядка в этой точке не равна 0.
По формуле Тейлора с остатком по Пеано, <tex>f(x) - f(x_0) = \frac{f^{(p)}(x_0)}{p!}(x - x_0)^p + o((x - x_0)^p)</tex>
