γが有理数だと言い切るには、γの無理数度が2より小さい、と示す必要がある
君の論法で、それが示せるの?どうやって?