How do you evaluate the integral #int_0^(pi/4)cos(x)dx# ?