DLMF:18.17.E2

From MaRDI portal