functional inequality