How many bitcoins should you hoard in your lifetime?