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