A039638

Fixed point of "k -> k/2 or (k-1)/2 until result is prime", starting with prime(n)-1.