φ[ε_0](0)を、limφ[ω^(・・・(ω^ω)・・・)](0)としていいのなら、
これでうまく分解できそうな気がするが