あたりまえだがすべてのnについて計算するわけじゃない
論理的に式変形をしてしらみつぶしに解いていくだけ