tesi.tex per ceil function