P
Initializing...
Fejér's theorem, specialized at the origin · Prove2Me