F ← |1 memo⟨+⊃(F-1)(F-2)|∘⟩<2.
F ⇡20