DLMF:10.22.E47

From MaRDI portal