8. 历史上有不少数学家都对圆周率作过研究,第一个用科学方法寻求圆周率数值的人是阿基米德,他用圆内接和外切正多边形的周长确定圆周长的上下界,开创了圆周率计算的几何方法,而中国数学家刘徽只用圆内接正多边形就求得
的近似值,他的方法被后人称为割圆术.近代无穷乘积式、无穷连分数、无穷级数等各种
值的表达式纷纷出现,使得
值的计算精度也迅速增加.华理斯在1655年求出一个公式:
,根据该公式绘制出了估计圆周率
的近似值的程序框图,如下图所示,执行该程序框图,已知输出的
,若判断框内填入的条件为
,则正整数
的最小值是