Pick any positive integer. If it's even, divide by 2. If it's odd, multiply by 3 and add 1. Repeat. Does the sequence always reach 1?