fundamentally nonexpansive mapping