GoldenCrystal (./55) :
lim(x - max([0;x[)) = 0

Pardon
Si tu veux juste dire que la borne supérieure de [0;x[ c'est x et qu'on peut s'en rapprocher autant qu'on veut tu n'as pas besoin d'écrire "lim" ou "max" hein ([0;x[ n'a pas de maximum), c'est juste la définition de [0;x[

Effectivement sur un système réel (donc pas mathématiquement parfaitement exact), tu auras sûrement des problèmes avec des fréquences très proches de la fréquence critique (quoique strictement inférieures), c'est une des raisons pour lesquelles il faut prendre une marge par sécurité, mais où est le problème puisque c'est bien ce qu'on fait en pratique ? (la fréquence critique pour l'échantillonage CD est supérieure à 22 kHz et le but est de restaurer parfaitement les fréquences inférieures à 20 kHz, donc on peut très bien avoir un filtre passe-bas avec une marge de sécurité en plus...)