DLMF:19.5.E7

From MaRDI portal