DLMF:22.6.E9

From MaRDI portal