Wie soll es heißen:
⌊⌊a)⌋⌋‘(u) ∙ (∃n) ∙
1
2n
˂ u’, oder
⌊⌊b)⌋⌋‘für jedes u läßt sich ein n finden, für welches
1
2n
˂ u’?