Y
Hacker News
new
|
ask
|
show
|
jobs
by
OneMoreIdol
4045 days ago
This is actually a valid proof technique with finite cases. This is known as a Proof by Exhaustion.