DLMF:17.7.E4

From MaRDI portal