DLMF:10.69.E1

From MaRDI portal