πの「有限長さの近似式」って、実用性はともかく、
数学的にはほぼ無意味なんじゃね？