π^4/3-π∫[π/2,π](xcos(x))^2dx