Очень верное ограничение.
Просто если j станет равно i/j , то умножив получим j*множитель = j*(i/j) = i.
Дальнейший перебор не нужен, т.к. будут получаться числа больше i.

) не осознал ход ваших мыслей Michael ...

Может не сильно хорошо объяснил раньше .
Например перебираем k =1 ... (i/j) .....

Если ни одно число из Xi = (1 ... (i/j)) не является множителем для i, то
следующие числа Yi =((i/j)+1, ...) ими уж точно не станут т.к им чтобы стать множителем для i необходима пара из Xi которой нет .

теперь осознал....чашечка кофе Nescafe делает свое дело:)))

Кстати, я бы алгоритм переписал, примерно так:

for(i=3;i<1000;i++)
{
    isSimple = true;   
    for(j=2;j<=(i/j);j++)
    {
       if (!(i%j) )
       {
           isSimple = false;   
           break;// Если у числа i есть множители, то это не простое число выходим
       }
   
    }
    if (isSimple) count << i;//просто вывод простого числа
}

, а число 2 и так простое, сразу его можно в результат.

Ну если на то пошло то любое простое число больше 3 можно представить как y=6k(+-)1 и можно переписать алгоритм на основании этой формулы)))
не ну порой всякая фигня отнимает столько времени)))...и как заноза...пока не докапаешься не отстанет)

Я говорил в основном про то, чтобы
вынести вывод простых чисел count << i; за внутренний цикл,
потому что ему там не место.

а ну это я накосячил:)) когда писал) там еще cout вместо count...у меня такое бывает))

Хммм...сегодня с утра осенило, всетаки как в моем понимании можно объяснить
"Вопрос почему во втором цикле берется ограничение j<=(i/j)?"...Лучшний способ это конечно на примере...

Допустим есть некое число N, мы его хотим проверить является ли оно простым(т.е. делится на себя и 1).
Для этого мы делим число N на числа j, которое принадлежит множеству чисел от 2 до N-1 и смотрим есть ли остаток от деления, если его нет, то естественно число не является простым.
Теперь присмотримся к последовательности чисел из множества
2,3,4,5,6...N
у нас есть формула N/j=А(целая часть), по началу число А будет принадлежать множеству (j..N), но в какой то момент число А будет принадлежать множеству чисел(2..j), НО т.к. числа из диапазона (2..j) уже проверялись и они не делят число N на цело, то можно сделать вывод что любое j которое больше (N/j) не может делить число N нацело и собственно не является его множителем, поэтому проверять числа при которых не выполняется условие j<=N/j нет смысла...
ну как то так...))

и хотя вышесказанное по сути явлется тем же самым что и(то что было сказано Michael ):