Add idea about Collatz conjecture test as P sample

The title says it all. I just wanted to commit it. P seems like a simple
dynamic programming language... Let's hope we can tune it to be a fast one,
too.