Let a,b and c be real numbers such that⌈a⌉+⌈b⌉+⌈c⌉+⌊a+b⌋+⌊b+c⌋+⌊c+a⌋=2020Prove that⌊a⌋+⌊b⌋+⌊c⌋+⌈a+b+c⌉≥1346Note: ⌊x⌋ is the greatest integer less than or equal to x, and ⌈x⌉ is the smallest integer greater than or equal to x. That is, ⌊x⌋ is the unique integer satisfying ⌊x⌋≤x<⌊x⌋+1, and ⌈x⌉ is the unique integer satisfying ⌈x⌉−1<x≤⌈x⌉.Proposed by Ariel García