DLMF:19.5.E10

From MaRDI portal