DLMF:12.10.E40

From MaRDI portal