Implement jle and use it to implement factorial