DLMF:10.39.E4

From MaRDI portal