A proof of Pesin's formula | Synapse