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