DLMF:22.16.E4

From MaRDI portal