pi/(3*sqrt(2))