x^3 < x^3 ＋ 3367 = 2^n = 2^{3k} = (2^k)^3
だから x < 2^k、つまり 2^k ≥ x + 1 ね。したがって
x^3 ＋ 3367 = (2^k)^3 ≥ (x + 1)^3 = x^3 + 3x^2 + 3x + 1
つまり
3x^2 + 3x + 1 ≤ 3367
x^2 + x − 1122 ≤ 0
(x + 34)(x − 33) ≤ 0
となって x ≤ 33 が分かるわ。
>>486から、x ≡ 9 (mod 2^12) だから、x = 9 となるしかないことが分かるわ。
そうすると、あとはnが3の倍数でない時の処理ね。