Existence of long-range order for trapped interacting bosons

We derive an inequality governing "long-range" order for a localized Bose-condensed state, relating the condensate fraction at a given temperature with effective curvature radius of the condensate and total particle number. For the specific example of a one-dimensional, harmonically trapped dilute Bose condensate, it is shown that the inequality gives an explicit upper bound for the Thomas-Fermi condensate size which may be tested in current experiments.