We will prove that Rk(k+1,k+1)≥4tw⌊k/4⌋−3(2)Rk(k+1,k+1)≥4tw⌊k/4⌋−3(2), where twtw is the tower function defined by tw1(x)=xtw1(x)=x and twi+1(x)=2twi(x)twi+1(x)=2twi(x). We also give proofs of Rk(k+1,k+2)≥4twk−7(2)Rk(k+1,k+2)≥4twk−7(2), Rk(k+1,2k+1)≥4twk−3(2)Rk(k+1,2k+1)≥4twk−3(2), and Rk(k+2,k+2)≥4twk−4(2)Rk(k+2,k+2)≥4twk−4(2).
生成讲解博客的中文版本
生成AI智能校验的中文版本