Ups, das hab ich übersehen.
Also dann im ersten Fall
|(y+eps)^p + (y-eps)^p - 2y^p| = 1/2 * p*|p-1|*eps^2 *(t^(p-2) + s^(p-2)) für eine vom p-Fall unabhängige Schreibweise.
Im zweiten Fall so wie du gesagt hast.

Das mit der Binomialreihe schau ich mal später an.