望月にとっちゃ３．１２の不等式は成立してくれなきゃそのあとの議論が進めないので、証明するも何も正しいという事でなければ困るからだろ
証明？　そんなのできないよ。
数学には有限記号列では伝わらない真実があるってこった。