Ramsey–Dvoretzky–Milman phenomenon