Die Zahl B {\displaystyle {}B} existiert aufgrund von Fakt, da nach Voraussetzung die ( n + 1 ) {\displaystyle {}(n+1)} -te Ableitung f ( n + 1 ) {\displaystyle {}f^{(n+1)}} stetig auf dem kompakten Intervall I {\displaystyle {}I} ist. Die Aussage folgt somit direkt aus Fakt.