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