1: \begin{abstract}

2: We prove that the fractional chromatic number $\chi_f(\R^2)$ of the unit distance graph of the Euclidean plane is greater than or equal to $4$. A fundamental ingredient of the proof is the notion of geometric fractional chromatic number $\chi_{gf}(\R^2)$ introduced recently by Ambrus et al \cite{ambrus2023density}.  First, we establish that $\chi_f(\R^2)=\chi_{gf}(\R^2)$ by exploiting the amenability of the group of Euclidean transformations in dimension 2. Second, we provide a specific unit distance graph $G$ on 27 vertices such that $\chi_{gf}(G)=4$. 

3: 

4: We also provide a natural connection of $\chi_f(\R^2)$ to the maximal size of independent sets in finite unit distance graphs. 

5: \end{abstract}

6: