Falls mit  tann(x) der Term  [tan(x)]n  gemeint sein soll, gibt es da doch gar nichts zu beweisen, denn die Funktion   z ↦ zn  ist offensichtlich eine Polynomfunktion vom Grad n.
Sollte aber z.B.  tan3(x) als  tan(tan(tan(x)))  interpretiert werden, dann ist die Behauptung wohl falsch.