>>434
　子の清太氏でござる。（今や宇都宮大学も退官されて古希でござるな）

〔補題〕
0 < y < x_1 で Ｆ(y）= log(y/x_1)/(x_1 - y）は単調増加
　Ｆ '(y）=｛x_1/y -1 -log(x_1/y)}/(x_1 - y)^2 > 0　から出る。

(左辺)－(右辺）= Σ[j=1,n］｛x_j･log(x_{j+1}）- x_{j+1}･log(x_j)}
= Σ[j=1,n］｛(x_j-x_1)･log(x_{j+1}/x_1）-（x_{j+1}-x_1)･log(x_j/x_1)}
= Σ[j=2,n-1］｛(x_j-x_1)･log(x_{j+1}/x_1）-（x_{j+1}-x_1)･log(x_j/x_1)}
= Σ[j=2,n-1］（x_1-x_j)(x_1-x_{j+1})｛Ｆ(x_j）-Ｆ(x_{j+1})}
> 0　　　　（← x_1 > x_j > x_{j+1}）

>>435
　仰るとおり。死んでお詫びを…（AA略