\frac{\pi}{3\sqrt 2}