-(ProductLog(-log(a)))/(log(a)) at a = sqrt(2)