Betrachte mal f(x) = sinh(x) - x - x^3 / 6 .
Dann musst du ja zeigen  für x>0 ist  f(x) > 0 .
Wende Mittelwertsatz an, auf das Intervall  [0 , x ] .
Dass gibt: Es gibt z zwischen 0 und x mit
                    (f(x) - f(0)) / ( x - 0 )  = f ' (z)
<=>     f(x) / x =  f ' (z)
<=>   f(x) = f ' (z) * x
und f ' (z) = cosh(z) -1 - x^2/2 und das ist auch immer größer als 0,
denn  f '' (z) = sinh(x) - x ist nur 0 für x=0, also hat
f ' (z) sein Min bei x=0 und das beträgt 0.