DLMF:21.6.E5

From MaRDI portal