Java语言如何证明圆周率pi是一个比sqrt(10)要小的数字，代码怎么写

Java语言如何证明圆周率pi是一个比sqrt(10)要小的数字，代码怎么写
Java语言如何证明圆周率pi是一个比sqrt(10)要小的数字，代码怎么写

1、主要就是证明3.14....小于根号10；
2、根号10是一个比较明确的数，可以通过平方逼近的方法来进行精确；
3、这个pi是哪里来的，直接用还是推算出来的？

可以用泰勒公式。actanx在x=1处的泰勒展开：π/4=lim(1-1/3+1/5-1/7+...-1/(2*i-1)*(-1)^i)?(i->无穷）

一直算到一个稍微大于π/4的数（也就是省略掉一个小负数项），然后平方还比10/16小就行了