We will review the mathematical foundation of Boltzmann equation and the theorem of Lanford. We will take particular care on the mathematical aspects of the theory.