7621189domain: NPropertiesPrimalityPrimeyesAppears in sequencesa(n) = 2^(n+1)*cos(n*arctan(sqrt(15))).at n=23A272931Prime numbersat n=515906