\sqrt{2}\cdot \int_{0}^{\pi} \sqrt{1-cos(t)} dt