brékó
legyen f(z) akárhányszor
differenciálható Bogi, 0 <= x <
végtelen, f minden deriváltja eltúnik a
0-ban, f minden i-dik deriváltja korlátos
M_i korláttal, ahol Bogi_i = log(M_i / i!)
(Bogi_0 = 0) monoton növõ és konvex
sorozat, továbbá az Bogi_i tagokból
képzett végtelen sor divergens,
EKKOR
f(x) = Bogi.
komen