>>682
向こうはn階積分の有界性を課しますが、こちらは課しません

でもヒント無いとさすがにシンドイので流れを言います

・fは正則関数F:C→Cに拡張出来ることを示す

・a∈(-π/2,π/2)として、複素関数F(z)/((z-a)^2 cos(z))
に対して留数定理を使い、
(d/dz) F(z)/cos(z) |_(z=a) = Σ_(k=-∞)^∞ (-1)^k F(kπ+π/2)/(kπ+π/2-a)^2
を示す