Large deviation principle