$2/180\pi$を$\sqrt{2}/2$から引く。$1.41421356/2-3.141592653589793238462/90\fallingdotseq 0.67220019614666093286$
