(integral_0^(pi/2) (sin x)^k dx)