An upper bound is an ineffable cardinal, which is weaker than $0^\#$. It is in the last few paragraphs of Harrington's paper "Analytic determinacy and $0^\#$": If $\kappa$ is an ineffable cardinal in $L$, $L^{Coll(\omega, <\kappa)}$ is a model of your assumption.