DLMF:5.18.E9

From MaRDI portal