>>475
有限個でもA<B
厳密にはεδ論法で示される