大きく見積もって、
a(b,c) ≒ f_ω^2+ω*2(n)
a(b,c,d) ≒ f_ω^2+ω*3(n)
a(b,c,d,e) ≒ f_ω^2+ω*4(n)
ぐらいかな?

恐らくa∀bがf_ω^3(n)を超えることはないだろう。
また、同様にa∀b∀c… < f_ω^3+ω(n)