  We use mathematically rigorous perturbation theory to study the transition
between the Mott insulator and the conjectured Bose-Einstein condensate in a
hard-core Bose-Hubbard model. The critical line is established to lowest order
in the tunneling amplitude.
