https://123dok.net/document/yevn0637-maximal-radius-of-quaternionic-hyperbolic-manifolds.html