171717 グループに 2n2n2n 人いる。許される人数差が高々1なら、人数は平均 2n/172n/172n/17 の床と天井でなければならない。したがって q=⌊2n/17⌋q=\lfloor2n/17\rfloorq=⌊2n/17⌋ とおくと、各グループの人数は qqq または q+1q+1q+1 である。