>>146

(1) は g(x) = f(ax)cosx という関数の、x=0における微分係数の定義式を意識したらうまくいきそうじゃね。
 { g(h) - g(0) }/h を考えるんば。