The $n$-th Mersenne number is $M_n=2^n-1$. Write $M_n=a_n b_n^2$ where $a_n$ is positive and squarefree.

Question 1: What lower bound can be proved for $a_n$?

Let $A$ be the set of all possible $a_n$. The natural density of $A$ is defined as $$ \delta_A=\lim_{X \rightarrow \infty} \frac{\# \{a \in A | a \le X\}}{X}. $$

Question 2: What can be proved about $\delta_A$? Is it possible to show that $\delta_A=0$?

Note: I am interested in unconditional answers to the above questions. It is easy to give answers conditional on the ABC conjecture. Indeed, the ABC conjecture shows that for any $\epsilon>0$ there is some $K_\epsilon>0$ such that $$ a_n \ge K_\epsilon \cdot 2^{n(1-\epsilon)}. $$ Thus $\# \{ a \in A | a \le X\}=O(\log(X))$, which gives $\delta_A=0$.