2*riemannzeta(1.5)