>>503
それだと単調減少を示しただけで√2/3より大きい下界の存在を否定できていないのでは？