Is this number a Tribonacci number? - Code Golf Challenge #1