Nachweislich effizientes iteriertes CVaR-Verstärkungslernen mit Funktionsannäherung