0.25k < log k