Consider the problem that a benevolent social planner would solve in the real business cycle model (RBC) we have been studying. The notation below is the same as in the slides. The planner would maximize the representative household's expected intertemporal utility: +00 cly E 8! x s '23 1 2/ where 0 0, subject to the sequence of constraints: Cr +Kr+l =(l_)Kr +AiaKrJa! (an) 0