DLMF:22.6.E4

From MaRDI portal