DLMF:4.40.E2

From MaRDI portal