DLMF:18.19.E4

From MaRDI portal