special inequality defined