DLMF:14.8.E6

From MaRDI portal