Definition:Radius of Open Ball