\int _{0}^{1/4\,\pi }\!\sin(x){dx}