DLMF:33.3.E1

From MaRDI portal