Bonjour,

J'ai un doute pour la proposition suivante que je cherche à nier avec des quantificateurs (les . représente une norme quelconque dans un espace en dimension fini):

M>0, N, kN, f(u_k)>M

Dont la négation dont je ne suis pas sûr serait (?) :
M>0,N,kN, f(u_k)<M
Je ne suis pas sûr du kN, j'hésite avec un k