和が 111 の三つの正数がすべて 1/31/31/3 より大きいことも、すべて 1/31/31/3 より小さいこともない。従ってある ri≤1/3r_i\le1/3ri≤1/3 とある rj≥1/3r_j\ge1/3rj≥1/3 が存在する。