DLMF:4.32.E1

From MaRDI portal