単位円に内接する12角形の半周の長さを求める。
　A(1,0)　B(41/48, 1/2)　C(1/2, 41/48)　D(0,1)
に頂点があるとする。
辺の長さは
　AB = CD = (1/48)√(7^2 + 24^2) = 25/48,
　BC = (41/48 - 1/2)√2 = 17/(24√2) > 1/2,
ここで
17^2 - 2･12^2 = 1,　17 > 12√2　を使った。

凸な折れ線は、外側を通る曲線より短いから
π > 4AB + 2BC
　> 25/12 + 1
　= 3 + 1/12
　= 3.0833…

もう秋田？