This is the first talk on the recent result by Matetski, Quastel, Remenik on exact solvability of the totally asymmetric simple exclusion process (TASEP). We will explain how the distribution function of TASEP can be written as a Fredholm determinant formula amenable for asymptotic analysis.