> Now, the question is: can we create a smaller function capable of performing the same feat?

Where does this question come from? Especially where does the 'smaller' requirement come from?