Write a recursive function factorial(n: int) -> int with base case n <= 1 => 1.
factorial(n: int) -> int
n <= 1 => 1
Factorial 5: 120 [✓] Recursive stack verified (Time: 0.012s, Memory: 13.9 MB)