Nota:
Problema elucideaza doar partea de analiza, de a gasi o margine superioara pentru cautare, din problema de a gasi astfel de factorizari pentru un k fixat dat, de exemplu k=100. Dupa parerea mea, problema mai interesanta, cea constructivista, este de a chiar da exemple de astfel de siruri a1, a2, ... pentru care se realizeaza cat mai multe descompuneri. Asta deoarece daca nu suntem in stare sa producem nici macar cinci - sase descompuneri efective (pentru k=100 sau k=2016 de exemplu, sau chiar un k ales cu propria mana) cele demonstrate teoretic, orb, fara exemplu, sunt in contrast cu ceea ce chiar putem vedea, cu lucruri pe care putem pune mana.