以下、m(m,n)を同様に定めて行くと、
m(2,2)m(2,1)≒H[ε_ε_0]
m(3,2)m(3,1)≒H[ε_ε_ε_0]
の収束列ができて、
m(x,2)m(x,1)(x)≒H[η_0]
になると思います。

4スレ846の発想でH[η_0]まで行きました。