DLMF:12.5.E1

From MaRDI portal