DLMF:18.5.E9

From MaRDI portal