x=12とすると
｛12√（２×（２−√３）/2）｝/2
=6*√（２−√３）
ここで２−√３＞0・28　√0.28＞0.52
6*52/100=312/100=3.12となって
円と内接する正12角形の周の長さは3.12以上であり、円周率は3.12以上。
証明　終