Li-Fan Chen says to YSITD
r < d(A,B) < 2r