■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)
===================================