DLMF:4.5.E2

From MaRDI portal