Написать структурированную программу и доказать ее правильность по определению семантики структурированных программ. Найти наименьшее число y такое, что на интервале [y;2y) есть не менее x простых чисел. Использовать s - прибавление 1, = , < , + , - , x, : - целочисленное деление, % - остаток от деления.