P
Initializing...
A positive monotone integer limit yields an eventual normalised lower gap · Prove2Me