DLMF:28.15.E1

From MaRDI portal