Theorem: N5 (LeanTeaching/Ex2/3.lean)

State before:
n : ℕ
⊢ 0 < fac n
Tactic:
sorry
State after:
no goals