Par l'absurde je dirais

du genre tu suppose que k > Un
et tu prouve que ça implique un truc faux