DLMF:32.2.E5

From MaRDI portal