Lower bound on the dimension of a quantum system given measured data | Synapse