DLMF:10.68.E2

From MaRDI portal