infinite family of demicontractive mappings