DLMF:10.67.E9

From MaRDI portal