[math-fun] Average distance on the unit sphere puzzle