3707173domain: NAppears in sequencesComposite Beatty sequence of sqrt(2).at n=18A182691a(n) = 5*a(n-1) - 4*a(n-3) for n >= 4, where a(1) = 1, a(2) = 3, a(3) = 13.at n=10A341250