P
Initializing...
Nonnegativity of the Fejér kernel · Prove2Me