家长说学好OI必先学好数学，所以我来求助了。

已知向量 $OA,OB$ 的夹角为 $60\degree$，$|OA|=2,|OB|=2\sqrt3,OP=\lambda OA + \mu OB,\lambda+\sqrt3 \mu = 2$

求 $|OP|$ 最小值。

答案是 $2\sqrt3$，但我做了 $114514 \mod 10$ 遍了还是做出来一个 $\frac{6\sqrt3}{\sqrt7}$……