464943847domain: NPropertiesPrimalityPrimeyesAppears in sequencesInteger part of (2^(n - 1) - 1)*sqrt(3) + 1.at n=29A374148Prime numbersat n=24602390