Inner invariant means on discrete semigroups with identity