>>18
6→7行のとこでf(2x)掛けてんの2^xが単調増加してることありきじゃない?