Watch Pierre Letouzey's (researcher at the IRIF) talk, “Hofstadter's G function and beyond! A curious example combining calculations…” as part of the “Proofs and programmes” conference organised at the Institut Henri Poincaré.