>>819
xをBの元でないXの元とすると
任意のεに対してあるBの元bがあってd({x}、b) ≤β+εを満たすβって存在するでしょうか。