An inequality for the sizes of prime filters of finite distributive lattices