Una prueba, si se quiere ser formal, suele comenzar con dado información. Por ejemplo,
Dado: una forma tiene $3$ lados
Luego continúa con los pasos para llegar a una meta; tal vez demostrar que la forma es un triángulo. Estos pasos tienen razones, y mientras las razones sean sólidas, se supone que cuando se dan estos pasos, se está diciendo que siempre son verdaderos dentro de sus condiciones dadas:
Dado: una forma tiene $3$ lados. La forma es un triángulo, debido a la definición de triángulo, "una forma con $3$ lado".
De nuevo, no estamos diciendo que toda forma sea un triángulo, sino que toda forma que se ajuste a nuestras condiciones es un triángulo. Para tu ejemplo,
Dado $\frac qn$ tal que $q = \frac 1n$ y $n>1$ ,
$\frac qn<n$ porque...
En ese caso no está afirmando que $\frac qn<n$ es siempre verdadera, sino que dentro de sus condiciones dadas es siempre verdadera. Simplemente hay que respaldarlo con razones ya aceptadas como verdaderas o previamente demostradas.
Espero que eso ayude.