DLMF:32.6.E4

From MaRDI portal