Bizonyítsuk be, hogy ha $n$ elegendően nagy pozitív egész szám, akkor bármely $n$ különböző pozitív egész között van négy olyan, amelyek legkisebb közös többszöröse nagyobb, mint $n^{3\mathrm{,}99}$.