大槻君が怒涛の速さで、昨日の検証命題をチャックしてきた。昨日、とある指数を4/7, 5/7, 1/5 と予想したのだが、どれも数値的に矛盾はない。もちろん、これらとより分母の小さい1/2, 3/4, 1/4 を数値的に区別できる精度はないが、筋がとおるのは分母が大き…