Rosa, Roberto, Andrea, and Inno find an estimate for the square root of 10. Who has proposed the best solution?