√3は無理数であることの証明は分かりましたが、
√4は無理数であることの証明が分かりません。