Brief introduction of irrational numbers