= ∫[-1→+1] 1 / √{1-x^2} dx
= ∫[-1→+1] 1 / √{1-(sin(t))^2} d(sin(t))
= ∫[-π/2→+π/2] dt
= π