DLMF:14.6.E7

From MaRDI portal