DLMF:4.25.E2

From MaRDI portal