Scholzeの指摘は
「定理3.11から系3.12の不等式が導けない」
というものであり、いわば
「筋が全然通ってない」
ということ

筋が通っているというのはウソツキか●違い