1: \begin{abstract}

2: A Polish group $G$ is \textit{tame} if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel.

3: When $G = \prod_n \Gamma_n$ for countable abelian $\Gamma_n$, Solecki \cite{Solecki1995} gave a characterization for when $G$ is tame. 

4: In \cite{DingGao2017}, Ding and Gao showed that for such $G$, the orbit equivalence relation must in fact be potentially $\BPi^0_6$, while conjecturing that the optimal bound could be $\BPi^0_3$.

5: We show that the optimal bound is $D(\BPi^0_5)$ by constructing an action of such a group $G$ which is not potentially $\mathbf{\Pi}^0_5$, and show how to modify the analysis of \cite{DingGao2017} to get this slightly better upper bound.

6: It follows, using the results of Hjorth, Kechris, and Louvaeu \cite{HKL1998}, that this is the optimal bound for the potential complexity of actions of tame abelian product groups.

7: Our lower-bound analysis involves forcing over models of set theory where choice fails for sequences of finite sets.

8: \end{abstract}

9: