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