A lower bound on achieved closed-loop performance based on finite data