Karena kedua pertidaksamaan ketat mustahil, \(m^2=2\text{.}\) Dari \(m\geq1\text{,}\) \(m\) positif; ia adalah akar kuadrat positif yang tunggal dan karenanya \(m=\sqrt{2}\text{.}\)