DLMF:27.2.E4

From MaRDI portal