Дано натуральное число n > 1. Проверьте, является ли оно простым. Программа должна вывести слово YES, если число простое и NO, если число составное. Решение оформите в виде функции IsPrime(n), которая возвращает True для простых чисел и False для составных чисел. Количество операций в программе должно быть пропорционально корню из n.

Для решения этой задачи можно использовать метод проверки числа на простоту, основанный на поиске делителей.

Простое число является натуральным числом, большим 1, которое имеет только два делителя: 1 и само число. Если у числа есть другие делители, то оно является составным.

Шаги решения:
1. Проверяем, что n больше 1.
2. Инициализируем переменную is_prime значением True, которое будет изменяться на False, если найдется хотя бы один делитель.
3. Используем цикл, который будет перебирать числа i от 2 до квадратного корня из n.
4. Для каждого i проверяем, делит ли он n без остатка. Если делит, то число является составным, и значение переменной is_prime изменяется на False.
5. После завершения цикла проверяем значение переменной is_prime. Если оно все еще True, то число n является простым, и функция возвращает True. В противном случае функция возвращает False.

Время выполнения этого алгоритма будет пропорционально корню из n, потому что перебор чисел i происходит только до корня из n. Это позволяет сократить количество операций проверки делителей.