DLMF:24.17.E2

From MaRDI portal