>>340
log_{2}(√128）ではできないな．
log_{2}(9*2^(2/3)) = 1/3log_{2}(2916) < 1/3log_{2}(4096) = 4