1: \begin{abstract}

2: We prove convergence with optimal algebraic rates for an adaptive finite element method for nonlinear equations with strongly monotone operator. 

3: Unlike prior works, our analysis also includes the iterative and inexact solution of the arising nonlinear systems by means of the Picard iteration. 

4: Using nested iteration, we prove, in particular, that the number of of Picard iterations is uniformly bounded 

5: in generic cases, and the overall computational cost is (almost) optimal. Numerical experiments confirm the theoretical results.

6: \end{abstract}

7: