1.
∫0π/2sin⁡(x−[x]) dx=\int_0^{\pi/2} \sin(x-[x])\,dx =, where [⋅][\cdot] denotes GIF