Bir dışbükey küme üzerinde tanımlı ve 0 ile 1 arasındaki her a sayısı için (?) eşitsizliğini sağlayan f işlevi,