Based on MSU analysis course
Denseness of Q, Archimedean property
Induction, Q