Weak Kőnig's lemma