次の関数f(x)はＲ上連続であるが、どの点でも微分不可能でないことを証明せよ。

f(x)=Σ[n=0,∞](b^n)*cos((a^n)*π*x) (0<b<1,a*b>1+3*π/2,aは奇数でa≧3)

これ難しすぎ・・誰かお願いします