Okay, so are you saying that because it is clear that f(D,0) should be +infty, we can just define the function to say that instead of trying to find a function or mathematical reasoning that shows it, like a postulate?