Assert: 7! = 5040;