DLMF:25.2.E1

From MaRDI portal