Active-set threshold for a proportional contest with outside effort
ID: active-set-threshold-for-a-proportional-contest-with-outside-effort
For ordered positive valuations, rank is active exactly when . These ranks form a prefix, and the number active is the largest qualifying rank, or zero if none qualifies. This follows by evaluating the decreasing equilibrium equation at . Strict inequality excludes zero-effort boundary players.
New to topics? Read the docs here!