DLMF:4.18.E4

From MaRDI portal