面倒だから自分で手計算してないんだけど
ひょっとして正8角形で頑張って計算したときに
3.05なら成立するけど3.06だとムリなのかしら
そうだとしたら3.05にしておくことで証明の幅を広げることには役立ってそうね