DLMF:10.68.E1

From MaRDI portal