1 / (2log 2)