鳩ノ巣論法で簡単に示せるのが | α - p/q | < 1/q² だからだろ