DLMF:22.11.E4

From MaRDI portal