>>403
>>398を読み直せば、ここではBB(BB(10000))が十分大きいとみなせないことが分かる。