I must apologise for #8, it contains some false statements at the end.
A necessary condition is something that simply has to be true given some assumptions. In this case, we assume ##(x+2)(x-5)<0 ##
It does not imply that ##-1<x<5 ##, for instance, but it does imply ##-2<x<6 ##.
A quick way to check this, as I mentioned, is making use of the logical equivalence of two statements
<br />
P\implies Q\iff \neg Q\implies \neg P<br />
In this example, as ## P## we consider ##(x+2)(x-5)<0 ## and as ##Q ## we consider ##\lvert x-2 \rvert <a ##.
If we want ##Q ## to be a necessary condition, we can also pick ## a## such that ##\neg Q = \lvert x-2\rvert \geq a ## is a sufficient condition for ##\neg P = (x+2)(x-5)\geq 0 ##.
It suffices to pick ##x\leq -2\lor x\geq 6 ##, then it's guaranteed that ##(x+2)(x-5)\geq 0 ##. Reverse the order now, if ##(x+2)(x-5)<0 ##, then it is necessarely true that ##-2<x<6 ## (i.e you are correct about ## a\geq 4##)
However, ##0<a<4 ## will not yield a necessary condition. If you pick, say, ## a=1##, then the implication
<br />
(x+2)(x-5)<0 \implies -1<x<3<br />
is false. We can pick ##x = -1.5##, it still stands that ##(x+2)(x-5)<0 ##, but at the same time ##x\leq -1##.
I think I got confused by an earlier post, but I am certain now that this is correct.