-ProductLog[0, -ln(2) / 4] / ln(2)