P
Initializing...
A weighted triple-sum ratio sum is at least sixteen thirds · Prove2Me