User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-180.214.233.13-20141219171143/@comment-180.214.233.13-20141219181313

it has been proved  in 1952 that 163 is the largest such number or you say this proof is wrong?