Checkpoint 1

Show that `int_2^(oo) 1/(x^2) dx` converges, and find its value.