I was trying to prove the following:  if  x%(x/2) != 0 or x%(x/2) == 0   then x%(x/y) != 0 or x%(x/y) == 0  such that y = [2,4)So I am trying to figure out whether a number can have a factor in between its half and its fourth.  I am trying to use it in a factoring algorithm.
Proof for factors of a number
factoring;proof assistants