https://9lib.org/document/y4wmpw39-rough-balls-in-banach-spaces.html