(integral of cos(x) from 0 to π/2) / (π/2)