https://www.dict.cc/englisch-deutsch/one+sided+Lipschitz+continuous.html