For every fixed-range, bounded-strength 2D Hamiltonian family with fixed on-site dimension, a unique ground state and a uniform gap, does there exist a normalized pure PEPS approximating the ground-state vector to norm error ϵ with bond dimension polynomial in the number of sites N and 1/ϵ?