DLMF:4.22.E4

From MaRDI portal