DLMF:32.4.E8

From MaRDI portal