DLMF:10.44.E1

From MaRDI portal