нежадные функции, факториал