A small critical quotient with an explicit small nonzero increment excludes a dense large link

Initializing...

A small critical quotient with an explicit small nonzero increment excludes a dense large link · Prove2Me