Is it possible to prove that $L$ is a regular language? Let $L = \{a^{f(m)} | m \geq 1 \}$ where $f: \mathbb{Z}^+ \rightarrow \mathbb{Z}^+$ is monotonically increasing and complies that for all  $n \in \mathbb{Z}^+$ there is  $m \in \mathbb{Z}^+$ such that $f(m+1) - f(m) \geq n$.
Thanks in advance,
Regards,
Alex.
 A: I think $L$ is not regular. Here's an idea: let $k$ be the number of states of a minimum DFA that accepts $L$. Since the alphabet has one symbol only, this DFA must be a cycle (why?). For an appropriate $n$ there exists $m$ such that $f(m+1)-f(m)>k$, which is a contradiction, because there would be some $c$ between $f(m)$ and $f(m+1)$ such that $a^c$ belongs to $L$ (why?). However, $c$ can not be the image of an integer by $f$ (why?).
I leave the details to you, first because given your only other question in this website I suspect that I'm doing your homework, and second because I gave you enough hints already :) Good luck!
Update: I'm a new user, and this was my first answer. I realize now that the website is for research-level questions only. That said, this question looked like homework to me, so maybe somebody will want to close the topic.
A: We will use the pumping lemma to prove that $L$ is not regular.
Suppose $L$ were regular and let $p$ be its pumping lenght. Let $m$ be such, that $f(m) \geq p$ (such $m$ exists!). Let $w=a^{f(m)}$. As $w\in L$ there exist words $x,y$ and $z$ such that $|y| \geq 1$, $|xy| \leq p$ and $\forall n\in \mathbb{N}, xy^n z\in L$.
It follows, that $\forall n\in\mathbb{N_0}\exists m, |xz|+n|y| = f(m)$. But this cannot be as there exist arbitrarily large $m$, such that $f(m+1) - f(m) > |y|$.
