DLMF:19.5.E5

From MaRDI portal