User contributions for SchuBot

20 April 2020

• 13:2513:25, 20 April 2020 diff hist +333 Formula q_856 (Q663) ‎Created claim: Defining formula (P1): n=2 current
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_856 (Q663) ‎Created claim: arqmath formula id (P8): q_856
• 13:2513:25, 20 April 2020 diff hist +226 N Formula q_856 (Q663) ‎Created a new Item
• 13:2513:25, 20 April 2020 diff hist +333 Formula q_855 (Q662) ‎Created claim: Defining formula (P1): n=1 current
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_855 (Q662) ‎Created claim: arqmath formula id (P8): q_855
• 13:2513:25, 20 April 2020 diff hist +226 N Formula q_855 (Q662) ‎Created a new Item
• 13:2513:25, 20 April 2020 diff hist +435 Formula q_854 (Q661) ‎Created claim: Defining formula (P1): \forall n \in \Bbb{N} : \big(\sum_{i=1}^{n}a_{i}\big) \big(\sum_{i=1}^{n} \frac{1}{a_{i}}\big) \ge n^2 current
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_854 (Q661) ‎Created claim: arqmath formula id (P8): q_854
• 13:2513:25, 20 April 2020 diff hist +226 N Formula q_854 (Q661) ‎Created a new Item
• 13:2513:25, 20 April 2020 diff hist +373 Formula q_853 (Q660) ‎Created claim: Defining formula (P1): \forall i \in \Bbb{N}: a_{i} \in \Bbb{R}^+ current
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_853 (Q660) ‎Created claim: arqmath formula id (P8): q_853
• 13:2513:25, 20 April 2020 diff hist +226 N Formula q_853 (Q660) ‎Created a new Item
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_852 (Q659) ‎Created claim: Defining formula (P1): a_{i} current
• 13:2513:25, 20 April 2020 diff hist +335 Formula q_852 (Q659) ‎Created claim: arqmath formula id (P8): q_852
• 13:2513:25, 20 April 2020 diff hist +226 N Formula q_852 (Q659) ‎Created a new Item
• 13:2513:25, 20 April 2020 diff hist +420 Formula q_851 (Q658) ‎Created claim: Defining formula (P1): \forall n \in \Bbb{N} : (\sum_{i=1}^{n} a_{i} ) (\sum_{i=1}^{n} \frac{1}{a_{i}} ) \ge n^2 current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_851 (Q658) ‎Created claim: arqmath formula id (P8): q_851
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_851 (Q658) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +640 Formula q_850 (Q657) ‎Created claim: Defining formula (P1): \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{k}\end{array}\right)\leq \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{\lfloor \frac{n}{2}\rfloor}\end{array}\right)\leq \frac{n\cdot(n+1)}{2}\cdot \left(\begin{array}{l}{n}\\{\lfloor \frac{n}{2}\rfloor}\end{array}\right)\leq n(n+1)! \leq nn^n \leq n^{n+1} current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_850 (Q657) ‎Created claim: arqmath formula id (P8): q_850
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_850 (Q657) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +435 Formula q_849 (Q656) ‎Created claim: Defining formula (P1): \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{k}\end{array}\right)=O\left( 2 ^ {n\log _{3}n}\right)? current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_849 (Q656) ‎Created claim: arqmath formula id (P8): q_849
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_849 (Q656) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +434 Formula q_848 (Q655) ‎Created claim: Defining formula (P1): \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{k}\end{array}\right)=O\left(2 ^ {n\log _{3}n}\right)? current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_848 (Q655) ‎Created claim: arqmath formula id (P8): q_848
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_848 (Q655) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +331 Formula q_847 (Q654) ‎Created claim: Defining formula (P1): 1 current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_847 (Q654) ‎Created claim: arqmath formula id (P8): q_847
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_847 (Q654) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +339 Formula q_846 (Q653) ‎Created claim: Defining formula (P1): p_0 = 2^N current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_846 (Q653) ‎Created claim: arqmath formula id (P8): q_846
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_846 (Q653) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +339 Formula q_845 (Q652) ‎Created claim: Defining formula (P1): p_{N-1}=2 current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_845 (Q652) ‎Created claim: arqmath formula id (P8): q_845
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_845 (Q652) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +337 Formula q_844 (Q651) ‎Created claim: Defining formula (P1): p_N = 1 current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_844 (Q651) ‎Created claim: arqmath formula id (P8): q_844
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_844 (Q651) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +331 Formula q_843 (Q650) ‎Created claim: Defining formula (P1): N current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_843 (Q650) ‎Created claim: arqmath formula id (P8): q_843
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_843 (Q650) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +331 Formula q_842 (Q649) ‎Created claim: Defining formula (P1): n current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_842 (Q649) ‎Created claim: arqmath formula id (P8): q_842
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_842 (Q649) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +333 Formula q_841 (Q648) ‎Created claim: Defining formula (P1): p_n current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_841 (Q648) ‎Created claim: arqmath formula id (P8): q_841
• 13:2413:24, 20 April 2020 diff hist +226 N Formula q_841 (Q648) ‎Created a new Item
• 13:2413:24, 20 April 2020 diff hist +355 Formula q_840 (Q647) ‎Created claim: Defining formula (P1): p_n = \frac{1}{2}p_{n-1} current
• 13:2413:24, 20 April 2020 diff hist +335 Formula q_840 (Q647) ‎Created claim: arqmath formula id (P8): q_840