DLMF:10.32.E9

From MaRDI portal