recursion

Hello Everyone! I'm trying to implement a recursive implementation of the following function **We are allowed to use also \[ Multiplexer(2^n : 1) \] gates. If anyone has any idea and wants to share it I'd be glad to hear :) Have a great day!