Leggett–Garg inequality