DLMF:25.8.E1

From MaRDI portal