DLMF:29.6.E50

From MaRDI portal