Математические доказательства: лимит по определению