User blog comment:SuperJedi224/Part 1/@comment-24509095-20140213061520

Doesn't F_1(0) = 2*sqrt(2) + 1 not 2*(sqrt(2) + 1)?