Công thức Leibniz là một công thức xấp xỉ giá trị của số Pi. Công thức này được biểu diễn như sau:
\pi = 4 \times \left(1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \frac{1}{11} + \ldots\right) = 4 \times \sum_{i=0}^{n} \frac{(-1)^i}{2i+1}
Hãy viết một chương trình để tính xấp xỉ giá trị của số Pi sử dụng công thức trên. Yêu cầu người dùng nhập vào một số nguyên dương n, sau đó tính xấp xỉ giá trị của Pi bằng cách tính tổng n phần tử đầu tiên của dãy trên.