P
Initializing...
Sidorenko's inequality for sides of size at most $2$ · Prove2Me