log[2](1+3+…+3^n)
が有理数となるnをすべて求めよ。