integrate dx / floor(1 - log_2(1 - x)) from 0 to 1