DLMF:22.8.E1

From MaRDI portal