def filter_even(n: int) -> list[int]:
    # Retorna los números pares del 1 al n
    return [i for i in range(1, n+1) if i % 2 == 0]