>>46
2/(2+√3)=4-2√3>1/2が取れるから1/2ではないと思う
4-2√3が最大かどうかはちょっと調べてる