DLMF:29.3.E10

From MaRDI portal