P
Initializing...
Corollary 3: strict Renyi entropy increase below one half · Prove2Me