DLMF:4.40.E1

From MaRDI portal