DLMF:22.11.E2

From MaRDI portal