== include(page="template/taskheader" task_id="hof") ==

Să considerăm secvenţa {a ~n~ } unde:
- a ~1~ = 1;

Să considerăm secvenţa {$a ~n~$ } unde:
- $a ~1~ = 1$;

- secvenţa este crescătoare, adică a ~k~ > a ~k-1~ pentru orice k > 1;
- diferenţele de ordin I sunt crescătoare, adică a ~k~ – a ~k-1~ > a ~k-1~ – a ~k-2~ pentru orice i > 2;
- Termenii din secvenţă şi diferenţele de ordin I acoperă în mod unic mulţimea numerelor naturale nenule (adică orice număr natural nenul apare fie în secvenţa {an}, fie în secvenţa diferenţelor de ordin I dar nu în amândouă secvenţele).