Lower bounds for height functions