>>556
有限の話で解決できると思いますよ。
背理法とかは良い感じかもしれません。