On lack of effectiveness in semi-algebraic geometry