Dvoretzky–Kiefer–Wolfowitz inequality