How do you evaluate the definite integral int sinxdx from [0, pi/2]?