前>>473
5/4-(5√2/6)=0.07148869802……＞0
少なくとも5/4は最小ではない。