DLMF:22.8.E10

From MaRDI portal