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