■DE群多面体の面数公式(その235)

 (n,r)/nの切り上げの和:r=0〜n

を計算すると

n=1:2通り→2通り

n=2:3通り→3通り

n=3:4通り→4通り

n=4:6通り→6通り

n=5:8通り→8通り

n=6:13通り→14通り(NG)

n=7:18通り→20通り(NG)

n=8:30通り→35通り(NG)

===================================