sqrt{2pi}/(2sqrt{2ln2})