sqrt(log_2(1/2))