>>396
具体的のその二つの不等式の導出の仕方は忘れたが。a(n,r)とb(n,r)の定義から
それは確認が可能なことであり、その計算をした記憶がある。