https://123dok.net/document/y6elw47z-a-curved-brunn-minkowski-inequality-for-the-symmetric-group.html