-ProductLog(0, -log(2))/log(2)