User blog comment:Nayuta Ito/Brand-new Googologism from Algebra/@comment-11227630-20170924123530

SIR(m,n,d) is bounded by mnd*(2d+1)^(n+1)^m, so it grows no faster than $$f_2^2(n)$$.