It can be of no practical use to know that Pi is irrational, but if we can know, it surely would be intolerable not to know.
It can be of no practical use to know that Pi is irrational, but if we can know, it surely would be intolerable not to know.