majorant function