Li-Fan Chen says to YSITD
實際上好像只有sqrt(3)+1而已