integral from 0 to pi/2 of (sin(x))^(sin(x))