7882015153domain: NAppears in sequencesLet phi = arccos(1/3), the dihedral angle of the regular tetrahedron. Then cos(n*phi) = a(n)/3^n.at n=21A025172