少なくとも上で上がってる証明はアウトやね
肝は| f(x) | = O( exp( im x ) |だけどその仮定だと| f(x) | = O( exp( M im x ) |までしかいえない(ただしM = sup { | f⁽ⁿ⁾(x)| })
するとf(x)/(cos(x)(x-a)²)の分子の発散の位数が分母cos(x)の発散の位数より強い事が可能だから上の証明はそのままは通用しない
別証持ってるん?