O empacotamento simplético de esferas e a escada de Fibonacci

Se quisermos empacotar k esferas de raio 1 dentro de uma esfera maior, qual o raio mínimo necessário dessa esfera maior?

Nesta palestra vamos olhar para a versão simplética desta pergunta -- e explicar o que quer dizer "versão simplética"! -- e ver que a resposta inclui uma função cujo gráfico é uma escada infinita relacionada com os números de Fibonacci.