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.