円周率が22/7より小さいことの証明 - Wikipedia
関連文献 Lucas, Stephen (2007), "Integral approximations to π with nonnegative integrands" Dalzell, D. P. (1971), “On 22/7 and 355/113”, Eureka; the Archimedeans' Journal 34: 10--13, ISSN 0071-2248 関連項目 円周率の歴史 円周率の無理性の証明...