[math-fun] Great Pyramid angle ~ atan(4/pi)