Ответ:
1. Необходимо присвоить F не 0, а единицу перед началом работы.
2. Блок из двух команд после while нужно взять в begin/end
3. Условие цикла while должно быть меньше _или равно_
4. Точку с запятой, наверное, надо ставить
Еще эффективнее начинать с двух (K := 2), но это не ошибка. Пятую не знаю.