代数的に解くのは、それこそ>>125なんじゃないか?