-module a. -export[m/0]. m()->io:write(f(1000)). f(0)->1;f(X)->X*f(X-1).