This sequence has been considered and proofs have been posted at these two relevant messages from a thread on the Usenet group rec.puzzles: http://groups.google.com.sg/group/rec.puzzles/msg/4a9cfe534cdbed7f http://groups.google.com.sg/group/rec.puzzles/msg/819eb9219ae763eb Thanks, Leroy Quet