Dvoretzky–Kiefer–Wolfowitz inequality
 
x
OK