Как я могу проверить, если последовательность пуста в F #?

Рассмотрим этот код F #, который вычисляет коэффициент числа:

let n = 340339004337I

// A sequence of all factors:
let factors = seq { 1I .. n / 2I} |> Seq.filter (fun x -> n % x = 0I) 

// Pull off the first factor from the sequence:
let factor = 
    if factors = seq [] then
        n
    else
        factors |> Seq.nth 0

Другими словами, если factors пусто, верните n. В противном случае вытащите первый элемент из factors. Цель состоит в том, чтобы учитывать все факторы между 1 и (n/2) и самим n, так как 1 и n всегда являются факторами n.

Тест factors = seq [] не работает. Я пришел к этому синтаксису, посмотрев на это:

> seq {1 .. 100} |> Seq.filter (fun x -> false) ;;
val it : seq<int> = seq []

Однако, я не думаю, что seq [] на самом деле является пустой последовательностью:

> Seq.empty = seq [] ;;
val it : bool = false

Как я могу проверить, является ли последовательность пустой?