The local Lehmer inequality for Drinfeld modules

We give a lower bound for the local height of a nontorsion element of a Drinfeld module.