Infinite nonexpansive mapping