DLMF:15.1.E1

From MaRDI portal