DLMF:25.5.E10

From MaRDI portal