DLMF:10.32.E1

From MaRDI portal