How do you find the value of #int_0^(pi/3) cos(x)dx#?