23/02/25 21:30:35.20 Gyha8sS/.net
m≧nにおいてbₘ:=aₙとすればaₘ≦bₘ (∀m≧n)
∴ lim aₘ≦lim bₘ
∴ λ≦aₙ
23/02/25 21:30:35.20 Gyha8sS/.net
m≧nにおいてbₘ:=aₙとすればaₘ≦bₘ (∀m≧n)
∴ lim aₘ≦lim bₘ
∴ λ≦aₙ
23/02/25 21:30:35.20 Gyha8sS/.net
m≧nにおいてbₘ:=aₙとすればaₘ≦bₘ (∀m≧n)
∴ lim aₘ≦lim bₘ
∴ λ≦aₙ