DLMF:24.7.E2

From MaRDI portal