∫[0→1]√(1-x^2)dx=π/4

途中式は猛者が書くだろう