# Differentiation doesn't work here

Find the smallest value of positive $$x$$, that satisfies

$\large \lfloor x\rfloor^2 - x\lfloor x \rfloor +4 \leq 0$

Notation: $$\lfloor \cdot \rfloor$$ denotes the floor function.