DLMF:14.10.E4

From MaRDI portal