Tienes un buen conocimiento de la materia:
Es cierto que $a\lt b \implies a\leq b$ ya que $$a \leq b \iff (a\lt b\;\text{or}\;a = b)$$
Si necesita probar $a \leq b$ entonces basta con demostrar que $a < b$ o $a = b$ .
Por otro lado, si necesita (o quiere) demostrar $a$ es estrictamente inferior a $b$ entonces es necesario demostrar $a < b$ .
Puede haber, efectivamente, cierta pérdida de información, al igual que perdemos información cuando, sabiendo $x = 3$ sólo afirmamos la afirmación (verdadera) de que $x \leq 3$ .
Pero hay ejemplos en los que podemos reclamar una gama más amplia de valores utilizando el concepto inclusivo $\leq$ .
No sé si este ejemplo será de ayuda, pero si se trata de demostrar, por inducción, que $n^2 \leq 2^n$ para $n>3$ en su prueba inductiva, primero tenemos el caso base $n = 4$ donde la desigualdad se mantiene precisamente porque la igualdad se mantiene: $4^2 = 2^4$ Por lo tanto $4^2 \leq 2^4$ es cierto.
Pero en el paso inductivo, se podría utilizar la siguiente cadena: $$(n+1)^2 = n^2 + 2n + 1 \leq 2^n + \underbrace{2n + 1}_{\large <\; 2^n,\,n\geq 3} \lt 2^n + 2^n = 2\cdot 2^n = 2^{n+1}$$
Así que en el paso inductivo, aunque encontremos que tenemos una desigualdad estricta involucrada, el punto de la inducción es probar $n^2 \leq 2^n$ , para $n \gt 3$ y como el caso base es verdadero (porque la igualdad se mantiene), en realidad podemos decir más afirmando la desigualdad NO estricta (ya que el rango de $n$ para el que la proposición es verdadera es mayor con $\leq$ que con $\lt$ .)
Al final, la cantidad de información transmitida por la elección de utilizar $\lt$ contra. $\leq$ depende, como muchas opciones, del contexto.