MathDB
Weird Function

Source: INMO 2024/4

January 21, 2024
functionalgebracombinatorics

Problem Statement

A finite set S\mathcal{S} of positive integers is called cardinal if S\mathcal{S} contains the integer S|\mathcal{S}| where S|\mathcal{S}| denotes the number of distinct elements in S\mathcal{S}. Let ff be a function from the set of positive integers to itself such that for any cardinal set S\mathcal{S}, the set f(S)f(\mathcal{S}) is also cardinal. Here f(S)f(\mathcal{S}) denotes the set of all integers that can be expressed as f(a)f(a) where aSa \in \mathcal{S}. Find all possible values of f(2024)f(2024)   Proposed by Sutanay Bhattacharya