DLMF:28.8.E9

From MaRDI portal