Analysis without actual infinity