DLMF:4.4.E2

From MaRDI portal