>>808
2-√6≦t＜(1+√3)/2になった。