DLMF:14.8.E2

From MaRDI portal