a \leq\ \sqrt3