DLMF:10.24.E9

From MaRDI portal