Inequality in constructive mathematics
scientific article; zbMATH DE number 31802