LambertW[-Ln[Sqrt[2]]]/(-Ln[Sqrt[2]])