sum log_2(i), i = 1 to x = log_2(x!)