The paper presents an explicit formula for the number of fixed point of a C∞ map of a segment [a, b] ⊂ ℝ. While the formula can be derived from the Lefschetz fixed point theorem for general CW -complexes, the new proof is instructive and highlights the contributions of degenerate fixed points.