Mean Free Path Derivation