\frac{\pi}{20}\approx 0.157079633