DLMF:17.8.E2

From MaRDI portal