The Art of Computer Programming
Donald E. Knuth

Volume 3
Sorting and Searching
Second Edition
Page 205-206, Problem 13.

"This may be the most formidable recurrence relation that will ever be solved."