>>37
とは言え
そこはLeanの結果を提示しても
こういうこと(π=3や1/3>1/2)を信じている人の気持ちは変えられない
(からLeanによる検証は意味が無い?)
と言っている部分なので
例として辷ってるってだけは?