■漸化式と母関数(その16)

[1]R(b,p,q)≦R(b−1,R(b,p−1,q),R(b,p,q−1))+1

[2]R(2,p,q)≦R(1,R(2,p−1,q),R(2,p,q−1))+1

≦R(2,p−1,q)+R(2,p,q−1)

[3]R(2,p,q)≦(p+q−2,p−1)

[4]R(2,p,p)≦(2p−2,p−1)≦2^2p-2

[5]R(2,p,p)≧2^p/2

[6][4][5]より

  √2≦{R(2,p,p)}^1/p≦4,p≧2

===================================