The problem recently posted by @freemo reminded me of this one from my freshman analysis class in university.

I claim that, for all natural numbers N that are not perfect squares, √N is irrational. Determine, and prove, whether my claim is true or false.

Maybe you've seen it before, if not; I encourage you to have a go at solving it.