The Bunimovich stadium (two semicircles connected by straight sides) is one of the first provably ergodic billiards (Bunimovich 1979). Any trajectory — except a set of measure zero — eventually covers all of phase space. Two nearby trajectories diverge exponentially (positive Lyapunov exponent), unlike circular billiards where nearby trajectories remain parallel forever.