fac = (n) -> if n <= 1 1 else n * fac n-1