User blog comment:XXxKennyDashxXx/Basic Separator Matrix Notation/@comment-24920136-20161023211112

n in your estimates is undefined, and they are off by one level of w^, only the limit is correct at e_0

a(0)a(0)a > f_4(f_4(a)) not f_5(a)

a(0)(0)a > f_5(a)

a(1)a > f_w(a)

a(1)a(0)a > f_w(f_4(a))

a(1)a(1)a > f_w(f_w(a))

a(1)(0)a > f_(w+1)(a)

a(1)(0)(0)a > f_(w+2)(a)

a(1)(0)(1)a > f_(w*2)(a)

a(1)(1)a > f_(w^2)

a(2)a > f_e_0(2)

a(a)a > f_e_0(a)