Bardzo przydatnym narzędziem w tego typu zadaniach jest strona OEIS, na której znajdziesz większość odkrytych ciągów liczbowych. Po wpisaniu kilku pierwszych elementów ciągu, który powstaje w tym zadaniu, wychodzi, że jest to ten ciąg: https://oeis.org/A001462.
Na tej stronie znajdziesz też wzór na n-ty wyraz ciagu: a(n+1) = 1 + a(n+1-a(a(n))), gdzie a(n) to n-ty wyraz ciągu Golomba.
Najważniejszą obserwacja w tym zadaniu jest to, że ilość wszystkich wyrazów w "grupach" rozmiaru i jest równa i*a(i) np. jest 3*a(3), czyli 6 wyrazów w grupach rozmiaru 3 i są to wyrazy 4, 4, 4, 5, 5, 5. Jeżeli policzysz sobie sumę wszystkich i*a(i) dla i w przedziale [1, x] to wyjdzie że dla x równego około 2*10^7 ta suma jest większa od 1e18. Dodatkowo a(2*10^7) to około 40000.
Z tymi podpowiedziami powinieneś już być w stanie rozwiązać to zadanie