DLMF:15.8.E7

From MaRDI portal