Il problema di base è che comunque non hai un supporto in grado di memorizzare un numero infinito.
La RAM o il disco prima o poi finiscono.
Quindi qualsiasi algoritmo trovi non sarà in grado di darti sempre a=a+1.
Non so se mi sono spiegato...