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."