Lower Bound on |x-y√D|