Using equivalence tests to prove zero difference between the mean and a target