DLMF:18.7.E4

From MaRDI portal