Observation of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msub><mml:mrow><mml:mi>B</mml:mi></mml:mrow><mml:mrow><mml:mi>c</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math>mesons in<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>p</mml:mi><mml:mrow><mml:mrow><mml:mover><mml:mrow><mml:mi>p</mml:mi></mml:mrow><mml:mrow><mml:mi>¯</mml:mi></mml:mrow></mml:mover></mml:mrow></mml:mrow></mml:math>collisions at<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:msqrt><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msqrt><mml:mo>=</mml:mo><mml:mn>1.8</mml:mn><mml:mn/><mml:mi/><mml:mi mathvariant="normal">TeV</mml:mi></mml:math>

We report the observation of bottom-charmed mesons ${B}_{c}$ in 1.8 TeV $p\overline{p}$ collisions using the CDF detector at the Fermilab Tevatron. The ${B}_{c}$ mesons were found through their semileptonic decays, ${B}_{c}^{\ifmmode\pm\else\textpm\fi{}}\ensuremath{\rightarrow}J/\ensuremath{\psi}{l}^{\ifmmode\pm\else\textpm\fi{}}X.$ A fit to the $J/\ensuremath{\psi}l$ mass distribution yielded ${20.4}_{\ensuremath{-}5.5}^{+6.2}$ events from ${B}_{c}$ mesons. A test of the null hypothesis, i.e., an attempt to fit the data with background alone, was rejected at the level of 4.8 standard deviations. By studying the quality of the fit as a function of the assumed ${B}_{c}$ mass, we determined ${M(B}_{c})=6.40\ifmmode\pm\else\textpm\fi{}0.39(\mathrm{stat}.)\ifmmode\pm\else\textpm\fi{}0.13\mathrm{}(\mathrm{syst})\mathrm{}\mathrm{GeV}{/c}^{2}.$ From the distribution of trilepton intersection points in the plane transverse to the beam direction we measured the ${B}_{c}$ lifetime to be $\ensuremath{\tau}{(B}_{c}{)=0.46}_{\ensuremath{-}0.16}^{+0.18}(\mathrm{stat})\ifmmode\pm\else\textpm\fi{}0.03\mathrm{}(\mathrm{syst})\mathrm{}\mathrm{ps}.$ We also measured the ratio of production cross section times branching fraction for ${B}_{c}^{+}\ensuremath{\rightarrow}J/\ensuremath{\psi}{l}^{+}\ensuremath{\nu}$ relative to that for ${B}^{+}\ensuremath{\rightarrow}J/\ensuremath{\psi}{K}^{+}$ to be $\frac{\ensuremath{\sigma}{(B}_{c})\ifmmode\times\else\texttimes\fi{}{B(B}_{c}\ensuremath{\rightarrow}J/\ensuremath{\psi}l\ensuremath{\nu})}{\ensuremath{\sigma}(B)\ifmmode\times\else\texttimes\fi{}B(\stackrel{\ensuremath{\rightarrow}}{B}J/\ensuremath{\psi}K)}{=0.132}_{\ensuremath{-}0.037}^{+0.041}{(\mathrm{stat})\ifmmode\pm\else\textpm\fi{}0.031\mathrm{}(\mathrm{syst})}_{\mathrm{\ensuremath{-}}0.020}^{+0.032}(\mathrm{lifetime}).$