A fixed point theorem for mappings with a nonexpansive iterate