Rename file; add simplified factorial one-liner