https://123dok.net/document/y6jj855q-improved-spectral-gap-bounds-on-positively-curved-manifolds.html