>>675
9≦log_{10}(2^32 - 1)<10 を示せばいいんだから>>674で問題ないだろ