Non-locality can be quantified by the violation of a Bell inequality. Since
this violation may be amplified by local operations an alternative measure has
been proposed - distillable non-locality. The alternative measure is difficult
to calculate exactly due to the double exponential growth of the parameter
space. In this article we give a way to bound the distillable non-locality of a
resource by the solutions to a related optimization problem. Our upper bounds
are exponentially easier to compute than the exact value and are shown to be
meaningful in general and tight in some cases.Comment: 8 pages, 3 figures; small changes in introduction and application
section due to the exact verification of distillation bounds using a symbolic
computation package (Maple 14); added journal re