DLMF:14.8.E4

From MaRDI portal