Here is a proof that $M(n)>0$.

Denote $[\alpha]=\{0,1,\dots,\alpha\}$. All divisors of $n$ correspond, in a natural way, to the points in a parallelepiped $P=[\alpha_1]\times\dots\times [\alpha_k]$. For $a=(a_i), b=(b_i)\in P$ we write $a\leq b$ if $a_i\leq b_i$ for all $i$. Let $S$ and $L$ denote the sets of points corresponding to small ($<\sqrt n$) and large divisors, respectively. We implement  the hall lemma to show a perfect matching between $S$ and $L$ exists.

Say that a subset $A\subseteq P$ is *downward-closed* if for any $a\in A$ and $b\leq a$ we have $b\in A$. We use the following version of a well-known lemma by  Kleitman; it is also a special case of the FKG Inequality, or, specifically, of the Harris inequality, see [here][1].

**Lemma.** For any two downward-closed subsets $A,B\in P$ we have $|A|\cdot |B|\leq |A\cap B|\cdot |P|$

This lemma allows us to check that the Hall condition are satisfied. Indeed, take $X\subset L$ and set
$$
  A=\{ b\in P\colon \exists x\in X \; b\leq X\}.
$$
Then we need to check that $|A\cap S|\geq |X|$. But the Lemma gives $|A\cap S|\geq |A|\cdot \frac{|S|}{|P|}=|A|/2$, and hence $|X|\leq |A\cap L|\leq |A|/2\leq |A\cap S|$, as desired.


  [1]: https://en.wikipedia.org/wiki/FKG_inequality