for a, b, r being Real st r > 0 & b >= 0 holds
( Ball (|[a,b]|,r) misses y=0-line iff r <= b )