Proving a function is wrong

Printable View